Model-driven Analysis and Verification of Automotive Embedded Systems
Modern vehicles are equipped with electrical and electronic systems that implement highly complex functions, such as anti-lock braking, cruise control, etc. To realize and integrate such complex embedded systems, the automotive development process requires an updated methodology that takes into cons...
| Main Author: | |
|---|---|
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Mälardalens högskola, Inbyggda system
2016
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-32463 http://nbn-resolving.de/urn:isbn:978-91-7485-278-3 |