Model Checking Early Requirements Specifications in Tropos.

Authors: 
Pistore, M.
Topic: 
FormalTropos
Year of publication: 
2001
AttachmentSize
3troposws01.ps226.76 KB

Back to top