Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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



    Erschienen in:

    RTCA DO ; 333


    Erscheinungsdatum :

    2011


    Format / Umfang :

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


    Anmerkungen:

    graph. Darst.
    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Medientyp :

    Report


    Format :

    Print


    Sprache :

    Englisch



    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