Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Erscheinungsdatum :

    27.11.2013


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    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

    Freier Zugriff


    Reducing the Verification Effort for Interfaces of Automotive Infotainment Software

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