Automated software verification supporting ABS TCS safety design
Automatische Verifikation der Software zur Unterstuetzung des ABS/ASR-Sicherheitsentwurfs.
1994
10 pages
SAE-Paper;940834;;1994;ABS/TCS and Brake Technology Developments;SAE Spec.Publ.; SP-1018
Sonstige
Englisch
Automated Software Verification Supporting ABS TCS Safety Design
British Library Conference Proceedings | 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
|