logo EDITE Fabien BONNEFOI
Identité
Fabien BONNEFOI
État académique
Thèse soutenue le 2010-09-27
Sujet: Vérification formelle des spécifications de systèmes complexes par Réseaux de Petri: application aux Systèmes de Transports Intelligents
Direction de thèse:
Laboratoire:
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
edite:1298823148556
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example
Vol. III, pp. 159-188 2009
Soutenance
Thèse: VERIFICATION FORMELLE DES SPECIFICATIONS DE SYSTEME SCOMPLEXES PAR RESEAUX DE PETRI: APPLICATION AUXSYSTEMES DE TRANSPORT INTELLIGENTS
Soutenance: 2010-09-27