Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verifying code automatically generated from an executable model


    Weitere Titelangaben:

    Die Verifizierung eines Codes, der aus einem ausfuehrbaren Modell automatisch erzeugt wurde.


    Beteiligte:

    Erscheinungsdatum :

    2005


    Format / Umfang :

    6 pages


    Anmerkungen:

    SAE-Paper;2005-01-1665;2005;Automotive Electronics;SAE Spec.Publ.; SP-1980


    Medientyp :

    Sonstige


    Format :

    Print


    Sprache :

    Englisch



    Verifying Code Automatically Generated From an Executable Model

    Williams, Cheryl A. / Kropinski, Michael A. / Steele, Michael A. et al. | SAE Technical Papers | 2005


    2005-01-1665 Verifying Code Automatically Generated From an Executable Model

    Williams, C. A. / Kropinski, M. A. / Matthews, O. et al. | British Library Conference Proceedings | 2005


    Adding Assurance to Automatically Generated Code

    Denney, Ewen / Fischer, Bernd / Schumann, Johann | NTRS | 2004


    Building Heterogeneous Safety Cases for Automatically Generated Code

    Denney, E. / Basir, N. / Fischer, B. et al. | British Library Conference Proceedings | 2011


    Building Heterogeneous Safety Cases for Automatically Generated Code

    Denney, Ewen / Fischer, Bernd / Basir, Nurlida | AIAA | 2011