Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
Modelling and Verification of Natural Language Requirements based on States and Modes
August 2022
Cite
DOI
URL
Type
Conference paper
Publication
30th International Requirements Engineering Conference Workshops (REW 2022)
Add the
full text
or
supplementary notes
for the publication here using Markdown formatting.
States and Modes Requirements Modeling and Verification Domain Specific Language Model Checking ; States and Modes ; Requirements Modeling and Verification ; Domain Specific Language ; Model Checking
Cite
×