Olivier Bouissou
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Sémantique dénotationnelle
Systèmes dynamiques hybrides
Équations différentielles
Systèmes embarqués (informatique)
Confidentialité différentielle
Précision finie
Analyse statique
Interprétation abstraite
Analyse interprocédurale
Résumés de procédures
Polyèdres convexes
Systèmes réactifs
Polyèdres
Temps réel (informatique)