Access

    Download

    Check availability in my library


    Export, share and cite



    Title :

    Interface verification using executable reference models: An application in the automotive infotainment


    Contributors:

    Publication date :

    2013



    Type of media :

    Miscellaneous


    Type of material :

    Electronic Resource


    Language :

    Unknown



    Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment

    Christian, Drabek / Thomas, Pramsohler / Marc, Zeller, Gereon, Weiss | BASE | 2013

    Free access

    Model-based validation of automotive infotainment functions using reference models

    Paulic, Annette / Zeller, Marc / Weiss, Gereon et al. | DataCite | 2012


    Model-based validation of automotive infotainment functions using reference models

    Paulic, Annette / Zeller, Marc / Weiss, Gereon et al. | Fraunhofer Publica | 2012

    Free access


    Reducing the Verification Effort for Interfaces of Automotive Infotainment Software

    Drabek, Christian / Paulic, Annette / Weiss, Gereon | British Library Conference Proceedings | 2015