Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Effiziente Software Entwicklung und Verifikation in einer Autosar Werkzeugkette


    Weitere Titelangaben:

    Efficient software development and verification in an Autosar tool chain.


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    2009


    Format / Umfang :

    6 pages


    Anmerkungen:

    ATZ elektronik;4(2009)3 ;50-55


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch



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

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


    Verifikation von AUTOSAR Software Architekturen

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



    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