La vitrine de diffusion des publications et contributions des chercheurs de l'ÉTS
RECHERCHER

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

Lima, V. et Talhi, C. et Mouheb, D. et Debbabi, M. et 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. p. 143-160.
Compte des citations dans Scopus : 26.

Le plein texte de ce document n'est pas hébergé sur ce serveur.
Type de document: Article publié dans une revue, révisé par les pairs
Informations complémentaires: Thématique : Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009)
Professeur:
Professeur
Talhi, Chamseddine
Affiliation: Autres
Date de dépôt: 14 sept. 2016 13:35
Dernière modification: 14 sept. 2016 13:35
URI: http://espace2.etsmtl.ca/id/eprint/13710

Actions (Authentification requise)

Dernière vérification avant le dépôt Dernière vérification avant le dépôt