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:
    L. Titolo (author)

    Publication date :

    2022


    Size :

    32 pages


    Type of media :

    Report


    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