TY - GEN
AU - Kittelmann, Alexander
AU - Runge, Tobias
AU - Bordis, Tabea
AU - Schaefer, Ina
TI - Runtime Verification of Correct-by-Construction Driving Maneuvers
PB - Springer International Publishing
SN - 978-3-031-19849-6
SN - 0302-9743
SN - 1611-3349
KW - DATA processing & computer science
PY - 2022-12-07
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation