Media type: E-Article; Text; Electronic Conference Proceeding Title: Runtime Verification of Correct-by-Construction Driving Maneuvers Contributor: Kittelmann, Alexander [Author]; Runge, Tobias [Author]; Bordis, Tabea [Author]; Schaefer, Ina [Author] imprint: Springer International Publishing, 2022-12-07 Language: English DOI: https://doi.org/10.5445/IR/1000153565; https://doi.org/10.1007/978-3-031-19849-6_15 ISBN: 978-3-031-19849-6 ISSN: 0302-9743; 1611-3349 Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access