PICASSOS — Practical Applications of Automated Formal Methods to Safety Related Automotive Systems
WCXtm17: SAE World Congress Experience
01.01.2017
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
|Picassos Guernica unter der Sounddusche - die "akustische Emotionalisierung" der Kunst
TIBKAT | 2017
|Using formal methods in designing embedded systems for automotive applications
British Library Conference Proceedings | 1997
|