Vérification formelle des spécifications de systèmes complexes par réseaux de Petri : application aux systèmes de transport intelligents
FR |
EN
Auteur / Autrice : | Fabien Bonnefoi |
Direction : | Fabrice Kordon |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences pour l'ingénieur |
Date : | Soutenance en 2010 |
Etablissement(s) : | Paris 6 |
Mots clés
FR