Le moteur de recherche
des thèses françaises
Jérôme Leroux
IdRefMots clés
FR |
EN
Décidabilité (logique mathématique)
Réseaux de Petri
Vérification de modèles (informatique)
Vérification
Complexité
Systèmes à compteurs
Algorithmes
Automates à pile
Vérification formelle
Systèmes distribués
Logiciels -- Vérification
Méthodes Formelles
Automates temporisés
Automates
Calculabilité
Systèmes dynamiques
Théorie des jeux
Sémantique selon la théorie des jeux
Fonctions calculables -- Informatique
Systèmes à pile