Access

    Download


    Export, share and cite



    Title :

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



    Publication date :

    2013-11-27


    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    000



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

    Drabek, Christian / Pramsohler, Thomas / Zeller, Marc et al. | DataCite | 2013


    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