Documents publiés en "2009"
Monter d'un niveauNombre de documents: 1
Département de génie informatique et génie logiciel
Najem, M. (2009). Model-Checking symbolique pour la vérification de systèmes et son application aux tables de décision et aux systèmes d'éditions collaboratives distribuées [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible