Laurent Fribourg
IdRefMots clés
FR |
EN
Vérification
Systèmes dynamiques
Théorie des automates mathématiques
Contrôle symbolique
Logiciels -- Vérification
Systèmes hybrides
Interprétation abstraite
Sciences appliquees
Informatique, automatique theorique, systemes
Programmation logique
Programmation par contraintes
Automates sur les mots infinis
Systèmes à paramètres répartis
Modélisation des données (informatique)
Systèmes cyber-physiques
Contrat d’assume-guarantee
Abstraction compositionnelle
Synthèse compositionelle de contrôleurs
Commande numérique
Ensembles invariants