Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

    AIAA AVIATION FORUM AND ASCEND 2024



    Publication date :

    2024-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English






    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