Clothilde Jeangoudoux
IdRefMots clés
FR |
EN
Arithmétique des ordinateurs
Certification aéronautique de programmes numériques
Arithmétique à virgule flottante, d'intervalles, multi-précision, binaire et décimale
Générateur automatique de tests
Analyse d'erreur
Programmation par contraintes
Arithmétique en virgule flottante
Logiciels -- Vérification
Systèmes embarqués (informatique)
Aéronautique