Le moteur de recherche
des thèses françaises
Nathalie Bertrand
IdRefMots clés
FR |
EN
Théorie des jeux
Vérification paramétrée
Complexité
Logiciels -- Vérification
Vérification
Vérification de modèles (informatique)
Systèmes informatiques -- Mesures de sûreté
Automates
Complexité de calcul (informatique)
Systèmes à paramètres répartis
Algorithmes parallèles
Processus stochastiques
Réseaux de Petri
Systèmes distribués
Jeux stochastiques
Théorie des automates mathématiques
Vérification de modèles
Décidabilité (logique mathématique)
Théorie algorithmique des jeux
Synthèse