Model Checking Early Requirements Specifications in Tropos.

Posted July 15th, 2008 by troposadmin
in
Publication Type  Conference Paper
Year of Publication  2001
Authors  Fuxman, A.; Mylopoulos, J.; Pistore, M.; Traverso, P.
Conference Name  RE-2001, the 9th IEEE International Requirements Engineering Conference.
Conference Location  Toronto, Canada
Key Words  pub
Export  Tagged XML BibTex
AttachmentSize
1RE01.pdf104.05 KB

Back to top