Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automated Software Verification Supporting ABS TCS Safety Design



    Kongress:

    Session; International congress, ABS/TCS and brake technology developments ; 1994 ; Detroit; MI



    Erscheinungsdatum :

    01.01.1994


    Format / Umfang :

    10 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Automated software verification supporting ABS TCS safety design

    Sauer,T. / ITT Automotive,DE | Kraftfahrwesen | 1994


    Automated Software Verification Supporting ABS TCS Safety Design

    Sauer, Torsten | SAE Technical Papers | 1994



    Verification and Validation of Safety Software for Automated Guideway Transit Systems

    Bied-Charreton, D. / Chopard-Guillaumot, G. / Araman, M. et al. | British Library Conference Proceedings | 1996


    Verification and Validation of Safety Software for Automated Guideway Transit Systems

    Bied-Charreton, D. / Chopard-Guillaumot, G. / Araman, M. et al. | British Library Conference Proceedings | 1996