Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automated Software Verification Supporting ABS TCS Safety Design



    Conference:

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



    Publication date :

    1994-01-01


    Size :

    10 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Automated software verification supporting ABS TCS safety design

    Sauer,T. / ITT Automotive,DE | Automotive engineering | 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