Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Laura Titolo (Autor:in)

    Kongress:

    Challenges of Software Verification Workshop ; 2022 ; Venice, IT


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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