Franck Cassez
Mots clés
FR |
EN
Vérification
Logiciels -- Vérification
Automates temporisés
Systèmes informatiques
Automates temporisés paramétrés
Synthèse de paramètres
Vérification de circuits
Automates temporisés probabilistes
Protocoles de c ommunication
Théorie des automates mathématiques
Dynamique holomorphe
Ordonnancement
Systèmes commutés
Théorie du contrôle
Ordonnancement (informatique)
Logique temporelle
Vérification formelle
Modèles mathématiques
Automates
Compilation (informatique)