Formal verification and validation of UML 2.0 sequence diagrams using source and destination of messages

Lima, V., Talhi, C., Mouheb, D., Debbabi, M., Wang, L. et Pourzandi, Makan. 2009. « Formal verification and validation of UML 2.0 sequence diagrams using source and destination of messages ». Electronic Notes in Theoretical Computer Science, vol. 254. pp. 143-160.
Compte des citations dans Scopus : 50.

The full text of this document is not available here.

Item Type:	Peer reviewed article published in a journal
Additional Information:	Thématique : Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009)
Professor:	Professor Talhi, Chamseddine
Affiliation:	Autres
Date Deposited:	14 Sep 2016 13:35
Last Modified:	14 Sep 2016 13:35
URI:	https://espace2.etsmtl.ca/id/eprint/13710

Actions (login required)

View Item