Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software



    Conference:

    WCX SAE World Congress Experience



    Publication date :

    2019-01-01


    Size :

    ALL-ALL



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software

    Schmidt, Bernard / Ferdinand, Christian / Kaestner, Daniel et al. | SAE Technical Papers | 2019


    Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software

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


    Static Code Analysis for Automotive Software

    Kengo Oka, Dennis | Wiley | 2021


    Reducing Defects in Automotive Software Using Static Analysis

    Rajguru, Chaitanya / Ranadive, Priti R. / Vaidya, Vinay | SAE Technical Papers | 2015


    Reducing Defects in Automotive Software Using Static Analysis

    Ranadive, Priti R. / Vaidya, Vinay / Rajguru, Chaitanya | British Library Conference Proceedings | 2015