Communication écrite (2007)
Un lien externe est disponible pour ce documentDépartement: | Département de génie informatique et génie logiciel |
---|---|
URL de PolyPublie: | https://publications.polymtl.ca/21585/ |
Nom de la conférence: | 9th IFIP International Conference on Formal Methods for Open Object-based distributed Systems (FMOODS 2007) |
Lieu de la conférence: | Paphos, Chypre |
Date(s) de la conférence: | 2007-06-06 - 2007-06-08 |
Maison d'édition: | Springer-Verlag |
DOI: | 10.1007/978-3-540-72952-5_4 |
URL officielle: | https://doi.org/10.1007/978-3-540-72952-5_4 |
Date du dépôt: | 18 avr. 2023 15:17 |
Dernière modification: | 05 avr. 2024 11:05 |
Citer en APA 7: | Mullins, J., & Oarga, R. (juin 2007). Model checking of extended OCL constraints over UML models with SOCLe [Communication écrite]. 9th IFIP International Conference on Formal Methods for Open Object-based distributed Systems (FMOODS 2007), Paphos, Chypre. https://doi.org/10.1007/978-3-540-72952-5_4 |
---|---|
Statistiques
Dimensions