Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Floating-point Round-off Error Analysis of Safety-critical Avionics Software


    Contributors:

    Conference:

    Challenges of Software Verification Workshop ; 2022 ; Venice, IT


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software

    Titolo, Laura / Moscato, Mariano / Feliú, Marco A. et al. | Springer Verlag | 2023



    Reusing Safety-Critical Avionics Software

    King, Tim | SAE Technical Papers | 2012


    Reusing Safety-Critical Avionics Software

    King, T. | British Library Conference Proceedings | 2012