Le moteur de recherche
des thèses françaises
César Muñoz
IdRefMots clés
FR |
EN
Arithmétique en virgule flottante
Programmes numériques
Analyse statique
Optimisations à la compilation
Plate-forme Why
Plate-forme Frama-C
Compilation (informatique)
Logiciels -- Vérification
Automatique
Optimisation convexe
Systèmes temps réel
Vérification
Methodes formelles
Commande automatique
Temps réel (informatique)
Sciences et techniques communes
Sciences appliquees
Mathematiques
Informatique, automatique theorique, systemes
Theorie type