Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Integrating functional and non-functional design verification for embedded software systems


    Weitere Titelangaben:

    Die Integration der Verifizierung der funktionalen und nicht funktionalen Konstruktion eingebetteter Softwaresysteme.



    Erscheinungsdatum :

    2009


    Format / Umfang :

    13 pages


    Anmerkungen:

    SAE-Paper;2009-01-0152;2009


    Medientyp :

    Sonstige


    Format :

    Print


    Sprache :

    Englisch



    Integrating Functional and Non-Functional Design Verification for Embedded Software Systems

    Ray, Arnab / Shelton, Charles / Martin, Chris et al. | SAE Technical Papers | 2009


    FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS

    Kardos, Martin / Fristacky, Norbert | Springer Verlag | 2005

    Freier Zugriff


    Verification and Testing of Embedded Software with Model Based Design

    A, Jay / Urban, Paul / Canny, Pat | AIAA | 2019