Le moteur de recherche
des thèses françaises
Pierre-Loïc Garoche
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Vérification
Temps réel (informatique)
Vérification formelle
Méthodes formelles (informatique)
Analyse statique
Arithmétique en virgule flottante
Commande automatique
Interprétation abstraite
Précision numérique
Commande prédictive
Algorithmes
Systèmes temps-réel
Temps d'exécution logique
Langages synchrone-réactifs
Langages de programmation -- Sémantique
Validation
Arithmétique flottante
Erreur d'arrondi
Erreurs d'arrondi