Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Date de debut de thèse: Non disponible Date soutenance de thèse: 25 septembre 2014 Directeur de thèse: Fabrice KORDON (LIP6) Directeur de thèse: Alexandre DURET-LUTZ (LRE) Sujet de thèse: Model checking adapté aux spécifications et propriétés à vérifier
Date de debut de thèse: Non disponible Date soutenance de thèse: 25 septembre 2014 Directeur de thèse: Fabrice KORDON (LIP6) Directeur de thèse: Alexandre DURET-LUTZ (LRE) Sujet de thèse: Model checking adapté aux spécifications et propriétés à vérifier