VSCode-PRECiSA: a Toolkit for Floating-Point Round-Off Error Analysis
Floating-Point: FPTalks 2022 ; 2022 ; Virtual, US
Miscellaneous
No indication
English
Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software
Springer Verlag | 2023
|