Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software



    Conference:

    WCX SAE World Congress Experience



    Publication date :

    2023-01-01


    Size :

    ALL-ALL



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    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 und modellbasierte Softwareentwicklung - AUTOSAR Integration mit Eclipse

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


    AUTOSAR Model-Based Software Component Integration of Supplier Software

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


    Integrated AUTOSAR software design

    Schaeuffele,J. / Vector Informatik,Stuttgart,DE | Automotive engineering | 2013