Rémy Garcia
Collins Aerospace Applied Research and Technology centre
Thèmes :
PPC – Contraintes et SAT
Mots-clés :
- Round-off errors
- Floating-point arithmetic
- Verification
- PPC
Collins Aerospace Applied Research and Technology centre
PPC – Contraintes et SAT