Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automated software verification supporting ABS TCS safety design


    Additional title:

    Automatische Verifikation der Software zur Unterstuetzung des ABS/ASR-Sicherheitsentwurfs.


    Contributors:

    Publication date :

    1994


    Size :

    10 pages


    Remarks:

    SAE-Paper;940834;;1994;ABS/TCS and Brake Technology Developments;SAE Spec.Publ.; SP-1018


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    English



    Automated Software Verification Supporting ABS TCS Safety Design

    Sauer, T. / Society of Automotive Engineers | British Library Conference Proceedings | 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