Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Tohdo, Tetsuya (Autor:in)

    Kongress:

    WCXTM17 SAE world congress experience



    Erscheinungsdatum :

    2017-01-01


    Format / Umfang :

    ALL-ALL



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal methods in automotive applications

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


    A systematic approach to testing automotive control software

    Conrad,M. / DaimlerChrysler,Stuttgart,DE | Kraftfahrwesen | 2004



    A Systematic Approach to Testing Automotive Control Software

    Conrad, M. | British Library Conference Proceedings | 2004