Old Web
English
Sign In
Acemap
>
Paper
>
Checking the Compliance of Requirements Specifications to Regulations using a Model Checker
Checking the Compliance of Requirements Specifications to Regulations using a Model Checker
2008
Saeki Motoshi
Kaiya Haruhiko
Hattori Satoshi
Keywords:
Software engineering
Computer science
Model checking
Requirements elicitation
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]