FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

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.
Rechercher dans Google Scholar
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 View Item