Model Checking Early Requirements Specifications in Tropos.

Authors: 
Pistore, M.
Topic: 
FormalTropos
Year of publication: 
2001
Place published: 
RE-2001, the 5th IEEE International Symposium on Requirements Engineering Toronto, Canada, August 27-31 2001
AttachmentSize
3RE01.pdf77.47 KB

Back to top