Le moteur de recherche
des thèses françaises
Christel Baier
IdRefMots clés
FR |
EN
Théorie des jeux
Théorie des automates mathématiques
Automates
Théorie des machines séquentielles
Vérification
Automates temporisés
Automates temporisés et stochastiques
Vérification de modèles (informatique)
Processus de Markov
Jeux
Concurrence
Théorie de l'information
Programmation concurrente
Synthèse de contrôleur
Théorie des automates
Vérification quantitative
Jeux stochastiques
Processus stochastiques
Valeur
Automate temporisé