Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Criteria-Driven Approach in Automotive Software Development — Integrating Concepts of Formal Methods with Testing


    Contributors:

    Conference:

    WCXTM17 SAE world congress experience



    Publication date :

    2017-01-01


    Size :

    ALL-ALL



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal methods in automotive applications

    Tran,S.C. / Marks,K.T. / Cullyer,J.C. et al. | Automotive engineering | 1990



    A systematic approach to testing automotive control software

    Conrad,M. / DaimlerChrysler,Stuttgart,DE | Automotive engineering | 2004


    A Systematic Approach to Testing Automotive Control Software

    Conrad, M. | British Library Conference Proceedings | 2004