Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
States and Modes Requirements Modeling and Verification Domain Specific Language Model Checking ; States and Modes ; Requirements Modeling and Verification ; Domain Specific Language ; Model Checking
Modelling and Verification of Natural Language Requirements based on States and Modes
Add the
full text
or
supplementary notes
for the publication here using Markdown formatting.
Cite
DOI
URL
Cite
×