Le moteur de recherche
des thèses françaises
Marta Kwiatkowska
IdRefMots clés
FR |
EN
Vérification
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
Vérification quantitative
Synthèse quantitative
Systèmes adaptatifs
Audit informatique
Jeu concurrent stochastique
Fome de jeu
Transfert local-Global
Stratégie optimale
Détermation des jeux de Blackwell
Jeu de parité
Jeux