Communication écrite (2007)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
ISBN:
9783540729525
Adresse URL de PolyPublie:
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
URL officielle:
OAI:
oai:publications.polymtl.ca:21585
ORCID
Date du dépôt:
18 avr. 2023 15:17
Dernière modification:
14 oct. 2026 12:54
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
