Article citationsMore>>

J. Mylopoulos, M. Pistore and P. Traverso, “Model Checking Early Requirements Specifications in Tropos,” Proceedings of the 5th IEEE International Symposium on Requirements Engineering, IEEE Computer Society, 2001, p. 174.

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top