Le moteur de recherche
des thèses françaises
Kim Guldstrand Larsen
IdRefMots clés
FR |
EN
Vérification
Temps réel (informatique)
Automates temporisés paramétrés
Synthèse de paramètres
Vérification de circuits
Automates temporisés probabilistes
Protocoles de c ommunication
Logiciels -- Vérification
Théorie des automates mathématiques
Dynamique holomorphe
Robustesse
Systèmes temps-réel
Automates temporisés
Automates programmables
Commande robuste
Synthèse de controleurs
Systèmes de transitions temporisés
Théorie des jeux
Variétés de Nash
Temps réel