Documents publiés en "2012"
Monter d'un niveauNombre de documents: 1
Département de génie informatique et génie logiciel
Heidari, P. (2012). A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems [Thèse de doctorat, École Polytechnique de Montréal]. Disponible