Le moteur de recherche
des thèses françaises
Paul Gastin
IdRefMots clés
FR |
EN
Langages formels
Automaton
Traitement réparti
Logiciels -- Vérification
Diagnosticabilité
Systèmes Distribués
Systèmes à Evénements Discret
Diagnostic
Systèmes échantillonnés
Vérification formelle
Parallélisme (informatique)
Automate
Vérification
Transducteurs de mots
La sémantique d'origine
Resynchroniseurs
Équivalence
Inclusion
Synthèse
Transducteurs