Le moteur de recherche
des thèses françaises
Joël Ouaknine
IdRefMots clés
FR |
EN
Complexité
Vérification formelle
Systèmes à compteurs
Systèmes d'addition de vecteurs
Réseaux de Petri
Systèmes de transitions bien structurés
Petri, Réseaux de
Algorithmes
Calculabilité
Automates a pile
Fonctions calculables -- Informatique
Langages formels
Complexité de calcul (informatique)
Automates temporisés
Synthèse
Robustesse
Jeux pondérés
Automates de Büchi
Commande robuste