Zugriff

    Download

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Drabek, Christian (Autor:in) / Pramsohler, Thomas (Autor:in) / Zeller, Marc (Autor:in) / Weiß, Gereon (Autor:in)

    Erscheinungsdatum :

    2013



    Medientyp :

    Sonstige


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt



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

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

    Freier Zugriff

    Model-based validation of automotive infotainment functions using reference models

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

    Freier Zugriff

    Model-based validation of automotive infotainment functions using reference models

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



    Reducing the Verification Effort for Interfaces of Automotive Infotainment Software

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