Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Date de debut de thèse: Non disponible Date soutenance de thèse: 9 juillet 2010 Directeur de thèse: Fabrice KORDON (LIP6) Sujet de thèse: Vérification formelle des spécifications de systèmes complexes par Réseaux de Petri: application aux Systèmes de Transports Intelligents
Date de debut de thèse: Non disponible Date soutenance de thèse: 9 juillet 2010 Directeur de thèse: Fabrice KORDON (LIP6) Sujet de thèse: Vérification formelle des spécifications de systèmes complexes par Réseaux de Petri: application aux Systèmes de Transports Intelligents