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