Documents dont l'auteur est "Bergeron, Mathieu"

Pour citer ou exporter
Nombre de documents: 3

Painchaud, F., Azambre, D., Bergeron, M., Mullins, J., & Oarga, R. M. (janvier 2005). Socle : Integrated design of software applications and security [Communication écrite]. 10th International Command and Control Research and TEchnology Symposium (ICCRTS 2005), McLean, VA. Lien externe

Azambre, D., Bergeron, M., & Mullins, J. (juin 2005). Validating UML and OCL models in SOCLe by simulation and model-checking [Communication écrite]. 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005), Rennes, France. Non disponible

Bergeron, M. (2004). Model-checking UML designs using a temporal extension of the object constraint language [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Liste produite: Thu Oct 15 11:46:16 2026 EDT.