Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Kongress:

    WCX SAE World Congress Experience



    Erscheinungsdatum :

    01.01.2019


    Format / Umfang :

    ALL-ALL



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    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


    Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software

    Kaestner, Daniel / Wilhelm, Stephan / Mallon, Christoph et al. | British Library Conference Proceedings | 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