Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Vérification formelle des spécifications de systèmes complexes par réseaux de Petri : application aux systèmes de transport intelligents
par Fabien Bonnefoi
Thèse de doctorat en Sciences pour l'ingénieur
Sous la direction de Fabrice Kordon.
Soutenue en 2010
à Paris 6 .
- Petri, Réseaux de
- Systèmes de transport intelligent
- Dynamique holomorphe
- Méthodes formelles (informatique)
mots clés
-
Pas de résumé disponible.
-
Titre traduit
Formal verification of complex systems specifications with Petri nets : application to intelligent transportation systems
-
Pas de résumé disponible.
