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 : 53.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

URL Officielle: http://dx.doi.org/10.1016/j.entcs.2009.09.064

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:	19 oct. 2023 16:23
URI:	https://espace2.etsmtl.ca/id/eprint/13710

Actions (Authentification requise)

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