Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software


    Beteiligte:

    Kongress:

    WCX SAE World Congress Experience



    Erscheinungsdatum :

    01.01.2023


    Format / Umfang :

    ALL-ALL



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software

    Ferdinand, Christian / Mallon, Christoph / Kaestner, Daniel et al. | SAE Technical Papers | 2023


    AUTOSAR Model-Based Software Component Integration of Supplier Software

    Fallahi, Abdolreza / Zhang, David / Kuppam, Kumar et al. | SAE Technical Papers | 2015


    AUTOSAR Model-Based Software Component Integration of Supplier Software

    Mirheidari, Saleh / Fallahi, Abdolreza / Zhang, David et al. | British Library Conference Proceedings | 2015


    AUTOSAR und modellbasierte Softwareentwicklung - AUTOSAR Integration mit Eclipse

    Graf,A. / Brueckner,M. / itemis,Luenen,DE | Kraftfahrwesen | 2010