Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Additional title:

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



    Publication date :

    2009


    Size :

    13 pages


    Remarks:

    SAE-Paper;2009-01-0152;2009


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    English



    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

    Free access


    Verification and Testing of Embedded Software with Model Based Design

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