PICASSOS — Practical Applications of Automated Formal Methods to Safety Related Automotive Systems
WCXtm17: SAE World Congress Experience
2017-01-01
ALL-ALL
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems
SAE Technical Papers | 2017
|Formal methods in automotive applications
Kraftfahrwesen | 1990
|Using formal methods in designing embedded systems for automotive applications
British Library Conference Proceedings | 1997
|