Documents publiés en "2004"
Nombre de documents: 1
Département de génie informatique et génie logiciel
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