Le moteur de recherche
des thèses françaises
Philippe Schnoebelen
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Bisimulation
Sciences appliquées
Vérification
Informatique
Logique temporelle
Parallélisme
Parallelism
Théorie des automates mathématiques
Langages formels
Wqo
Bqo
Logique
Résolution de contraintes
Ordre sous-Mot
Vérification de modèles (informatique)
Logique informatique
Systèmes à canaux non fiables
Vérification formelle
Fonctions récursives -- Informatique