Le moteur de recherche
des thèses françaises
Laurent Fribourg
IdRefMots clés
FR |
EN
Vérification
Théorie des automates mathématiques
Systèmes dynamiques
Logiciels -- Vérification
Contrôle symbolique
Systèmes commutés
Systèmes hybrides
Interprétation abstraite
Systèmes à paramètres répartis
Probabilités
Sciences appliquees
Informatique, automatique theorique, systemes
Programmation logique
Méthodes formelles (informatique)
Programmation par contraintes
Modélisation des données (informatique)
Ensembles invariants
Théorie de l'indice de Conley
Propriété de Wazewski
Systèmes à commutations