Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Rigorous Floating-Point Round-Off Error Analysis with PRECiSA 4.0


    Beteiligte:
    L. Titolo (Autor:in)

    Erscheinungsdatum :

    2024


    Format / Umfang :

    29 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    VSCode-PRECiSA: a Toolkit for Floating-Point Round-Off Error Analysis

    Paolo Masci / Laura Titolo / Mariano Moscato et al. | NTRS


    PRECiSA: From Real Specifications to Floating-point Implementations

    Laura Titolo / Mariano Moscato / Marco Feliu | NTRS


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

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