Describes formal approaches to verification of such systems and at the same time presents real-world applications and examples
Includes a diverse set of perspectives on this large, interdisciplinary area, covering the topic of partially automated driving and driver assistance functions
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.








