<  Back to the Polytechnique Montréal portal

Validating UML and OCL models in SOCLe by simulation and model-checking

Damien Azambre, Mathieu Bergeron and John Mullins

Paper (2005)

This item is not archived in PolyPublie
Additional 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.

Repository Staff Only

View Item View Item