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