<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Bergeron, Mathieu"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : A | B | P
Nombre de documents: 3

A

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

B

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

P

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

Liste produite: Thu Mar 28 03:46:41 2024 EDT.