Floating-point Round-off Error Analysis of Safety-critical Avionics Software
Challenges of Software Verification Workshop ; 2022 ; Venice, IT
Miscellaneous
No indication
English
Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software
Springer Verlag | 2023
|Reusing Safety-Critical Avionics Software
SAE Technical Papers | 2012
|Reusing Safety-Critical Avionics Software
British Library Conference Proceedings | 2012
|Reusing certified, safety-critical avionics software
IEEE | 2012
|