On safety assessment of automated driving systems using simulation-based testing and formal methods
2024
xvii, 209 Seiten
Hochschulschrift
Englisch
On safety assessment of automated driving systems using simulation-based testing and formal methods
TIBKAT | 2024
|British Library Online Contents | 1997