<  Back to the Polytechnique Montréal portal

SOCLe : An OCL model-checker for UML models

M. Bergeron, D. Azambre 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/24390/
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: 05 Apr 2024 11:10
Cite in APA 7: Bergeron, M., Azambre, D., & Mullins, J. (2005, June). SOCLe : An OCL model-checker for UML models [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