Computational verification methods for automotive safety systems
Doktorsavhandlingar vid Chalmers Tekniska Högskola ; N.S., 3654
2014
X, 203 S.
Ill., graph. Darst.
Enth. außerdem 6 Papers
Theses
English
Formal Safety Verification of Automotive Microcontroller Parts
Tema Archive | 2012
|Springer Verlag | 2021
|Virtual verification of automotive steering systems
Springer Verlag | 2017
|British Library Conference Proceedings | 2014
|