Étienne André
IdRefMots clés
FR |
EN
Automates temporisés
Vérification de modèles (informatique)
Logiciels -- Vérification
Méthodes formelles
Vérification
Théorie des jeux
Model-checking
Langages formels
Méthodes formelles (informatique)
Automates temporisés paramétrés
Petri, Réseaux de
Synthèse de paramètres
Automate à mémoire
Automate temporisé
Expression régulière
Vérification dynamique
Système complexe
Expressions rationnelles
Systèmes complexes
Automate