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 : 42.
Rechercher dans Google Scholar
Official URL: http://dx.doi.org/10.1016/j.entcs.2009.09.064
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: |
|
||
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 |