Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Timing Verifikation von AUTOSAR Softwarearchitekturen


    Weitere Titelangaben:

    Timing verification of AUTOSAR software architectures


    Beteiligte:

    Erscheinungsdatum :

    2022


    Format / Umfang :

    1 Online-Ressource


    Anmerkungen:


    Medientyp :

    Hochschulschrift


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch , Englisch




    Funktionale Verifikation von AUTOSAR-Softwarearchitekturen

    Geburzi,A. / Krisp,H. / Kruegel,K. et al. | Kraftfahrwesen | 2011


    Verifikation von AUTOSAR Software Architekturen

    Gravier,E. / Gros,M. / Geburzi,A. et al. | Kraftfahrwesen | 2010


    Effiziente Software Entwicklung und Verifikation in einer Autosar Werkzeugkette

    Eisemann,U. / Stichling,D. / Stroop,J. et al. | Kraftfahrwesen | 2009


    Effiziente Software-Entwicklung und -Verifikation in einer Autosar-Werkzeugkette

    Eisemann, Ulrich / Stichling, Dirk / Stroop, Joachim | Tema Archiv | 2009


    XML-basierte Softwarearchitekturen für Automobile Multimediasysteme

    Müller, T. / Höwing, F. | Tema Archiv | 2002