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