Fiche de BONNEFOI Fabien

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6


Date de debut de thèse: 1 janvier 1900
Date soutenance de thèse: 1 janvier 1900
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 Numéro PRD: 2864