Informations professionnelles
Statut: Maître de Conférences (Docteur ED)
ED: EDITE
Unité de recherche: LRE
au LIP6 (EDITE) jusqu'au 10 décembre 2013
Date de debut de thèse: Non disponible Date soutenance de thèse: 10 décembre 2013 Directeur de thèse: Fabrice KORDON (LIP6) Sujet de thèse: Exploitation des symétries pour le model checking de systèmes répartis : du modèle au codage
au LIP6 (EDITE) jusqu'au 10 décembre 2013
Date de debut de thèse: Non disponible Date soutenance de thèse: 10 décembre 2013 Directeur de thèse: Fabrice KORDON (LIP6) Sujet de thèse: Exploitation des symétries pour le model checking de systèmes répartis : du modèle au codage