Monter d'un niveau |
Bergeron, M., Azambre, D., & Mullins, J. (juin 2005). SOCLe : An OCL model-checker for UML models [Communication écrite]. 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005), Rennes, France. Non disponible