Development and evaluation of a framework for semi-automated formalization of automotive requirements.
Quantity and intricacy of features implemented in vehicle have expanded rapidly over a past few years. Currently vision of autonomous vehicle is no longer a dream or SF movie, but instead a coming reality. In order to reach the better quality and high safety, advanced verification techniques are req...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Blekinge Tekniska Högskola, Institutionen för tillämpad signalbehandling
2015
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:bth-11644 |