Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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



    Published in:

    RTCA DO ; 331


    Publication date :

    2011


    Size :

    V, 125 S.


    Remarks:

    Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Type of media :

    Report


    Type of material :

    Print


    Language :

    English



    Formal methods supplement to DO-178C and DO-278A

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


    Object-oriented technology and related techniques supplement to DO-178C and DO-278A

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


    Supporting information for DO-178C and DO-278A

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



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

    Panchal, Purav / Hein, Luca / Bliemetsrieder, Wolfgang et al. | AIAA | 2024