Le moteur de recherche
des thèses françaises
Sylvie Putot
IdRefMots clés
FR |
EN
Systèmes dynamiques
Vérification
Interprétation abstraite
Arithmétique en virgule flottante
Optimisation
Programmation par contraintes
Logiciels -- Vérification
Algorithmes
Informatique
Méthodes formelles
Analyse par intervalles
Contrôle
Méthode formelle
Logique de Hoare
Commande prédictive
Systèmes embarqués (informatique)
Génération d'invariants
Méthodes formelles (informatique)
Analyse statique
Robots mobiles