Documents publiés en "2004"

Pour citer ou exporter
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

Liste produite: Tue Oct 20 13:38:24 2026 EDT.