Model Checking Early Requirements Specifications in Tropos.

Posted December 16th, 2008 by troposadmin
Authors: 
Pistore, M.
Topic: 
FormalTropos
Year of publication: 
2001
AttachmentSize
3troposws01.ps226.76 KB

Back to top