Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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



    Erschienen in:

    RTCA DO ; 331


    Erscheinungsdatum :

    2011


    Format / Umfang :

    V, 125 S.


    Anmerkungen:

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


    Medientyp :

    Report


    Format :

    Print


    Sprache :

    Englisch



    Formal methods 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



    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