Javier Tuya;Luciano Sánchez;José A. Corrales
-;-;-
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics