Communication écrite (2007)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| ISBN: | 9783540729525 |
| 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: | 25 sept. 2024 16:00 |
| 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
Actions réservées au personnel
|
Afficher document |
