Khalil Ghorbal
IdRefMots clés
FR |
EN
Systèmes dynamiques
Logiciels -- Vérification
Ensembles invariants
Théorie de l'indice de Conley
Propriété de Wazewski
Systèmes à commutations
Systèmes continus
Commutation, Théorie de la
Vérification de programme
Génération d'invariants
Interprétation abstraite
Programmation par contraintes
Zonotopes
Langages de programmation
Informatique