Damien Azambre, Mathieu Bergeron and John Mullins
Paper (2005)
This item is not archived in PolyPublieAdditional Information: | Nom historique du département: Département de génie informatique |
---|---|
Department: | Department of Computer Engineering and Software Engineering |
PolyPublie URL: | https://publications.polymtl.ca/24440/ |
Conference Title: | 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005) |
Conference Location: | Rennes, France |
Conference Date(s): | 2005-06-06 |
Date Deposited: | 18 Apr 2023 15:18 |
Last Modified: | 25 Sep 2024 16:04 |
Cite in APA 7: | Azambre, D., Bergeron, M., & Mullins, J. (2005, June). Validating UML and OCL models in SOCLe by simulation and model-checking [Paper]. 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005), Rennes, France. |
---|---|
Statistics
Stats are not available on this system.