A viewgraph presentation on the software safety certification plug-in of an auto-generated code is shown.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A Software Safety Certification Plug-in for Automated Code Generators


    Beteiligte:
    Denney, Ewen (Autor:in) / Schumann, Johann (Autor:in) / Greaves, Doug (Autor:in)

    Kongress:

    Software Assurance Symposium ; 2006 ; Morgantown, WV, United States


    Erscheinungsdatum :

    01.01.2006


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    A Software Safety Certification Plug-in for Automated Code Generators (Executive Briefing)

    Denney, Ewen / Schumann, Johann / Greaves, Doug | NTRS | 2006



    Model based development with code generators - verification, testing and certification

    Lalo, Marc / Barriault, Steve / Wissing, Klaus | Tema Archiv | 2007



    Formal Certification Methods for Automated Vehicle Safety Assessment

    Zhao, Tong / Yurtsever, Ekim / Paulson, Joel A. et al. | IEEE | 2023