Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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



    Published in:

    RTCA DO ; 333


    Publication date :

    2011


    Size :

    Getr. Zählung [ca. 110 S.]


    Remarks:

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


    Type of media :

    Report


    Type of material :

    Print


    Language :

    English



    Model-based development and verification 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


    Object-oriented technology and related techniques 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