Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automated software verification supporting ABS TCS safety design


    Weitere Titelangaben:

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


    Beteiligte:

    Erscheinungsdatum :

    1994


    Format / Umfang :

    10 pages


    Anmerkungen:

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


    Medientyp :

    Sonstige


    Format :

    Print


    Sprache :

    Englisch



    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