Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verifikation von AUTOSAR Software Architekturen


    Weitere Titelangaben:

    Verification of AUTOSAR software architectures.



    Erschienen in:

    Erscheinungsdatum :

    2010


    Format / Umfang :

    4 pages


    Anmerkungen:

    ATZ elektronik;5(2010)4 ;46-49


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch



    Validierung von AUTOSAR Software Architekturen - dann aber richtig

    Kempkes,B. / dSpace,Paderborn,DE | Kraftfahrwesen | 2015


    Timing Verifikation von AUTOSAR Softwarearchitekturen

    Beringer, Steffen | TIBKAT | 2022

    Freier Zugriff

    Funktionale Verifikation von AUTOSAR-Softwarearchitekturen

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


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

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


    Effiziente Software Entwicklung und Verifikation in einer Autosar Werkzeugkette

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