> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht Titel: Runtime Verification of Correct-by-Construction Driving Maneuvers Beteiligte: Kittelmann, Alexander [VerfasserIn]; Runge, Tobias [VerfasserIn]; Bordis, Tabea [VerfasserIn]; Schaefer, Ina [VerfasserIn] Erschienen: Springer International Publishing, 2022-12-07 Sprache: Englisch 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 Schlagwörter: DATA processing & computer science Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang