Laurent Fribourg
IdRefMots clés
FR |
EN
Vérification
Systèmes dynamiques
Logiciels -- Vérification
Théorie des automates mathématiques
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