Automated Software Verification Supporting ABS TCS Safety Design
Session; International congress, ABS/TCS and brake technology developments ; 1994 ; Detroit; MI
1994-01-01
10 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Automated software verification supporting ABS TCS safety design
Automotive engineering | 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
|