Véronique Bruyère
IdRefMots clés
FR |
EN
Théorie des jeux
Automates temporisés
Vérification de modèles (informatique)
Décidabilité (logique mathématique)
Mise à jour (informatique)
Versions rapides de logiciels
Logiciels -- Maintenance
Logiciels -- Développement
Langages rationnels
Vérification
Automates temporisés et stochastiques
Markov, Processus de
Calculabilité
Automates a pile
Complexité
Fonctions calculables -- Informatique
Langages formels
Complexité de calcul (informatique)
Jeux
Information imparfaite