Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Enhancement of the DO-178C/DO-331 Based Software Verification Framework and Its Practical Application


    Beteiligte:
    Panchal, Purav (Autor:in) / Hein, Luca (Autor:in) / Bliemetsrieder, Wolfgang (Autor:in) / Sorokina, Nina (Autor:in) / Myschik, Stephan (Autor:in)

    Kongress:

    AIAA AVIATION FORUM AND ASCEND 2024



    Erscheinungsdatum :

    01.01.2024




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Model-based development and verification supplement to DO-178C and DO-278A

    RTCA, Inc., SC 205, Software Considerations | TIBKAT | 2011



    Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software

    Peleska, Jan / Brauer, Jörg / Dahlweid, Markus | SAE Technical Papers | 2015


    Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software

    Brauer, Jörg / Dahlweid, Markus / Peleska, Jan | British Library Conference Proceedings | 2015