Automated Software Verification Supporting ABS TCS Safety Design
Session; International congress, ABS/TCS and brake technology developments ; 1994 ; Detroit; MI
01.01.1994
10 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Automated software verification supporting ABS TCS safety design
Kraftfahrwesen | 1994
|Automated Software Verification Supporting ABS TCS Safety Design
SAE Technical Papers | 1994
|
Safety verification for automated vehicle maneuvers.
Safety verification for automated car maneuvers
DSpace@MIT | 1998
|Verification and Validation of Safety Software for Automated Guideway Transit Systems
British Library Conference Proceedings | 1996
|Verification and Validation of Safety Software for Automated Guideway Transit Systems
British Library Conference Proceedings | 1996
|