ToC

2024
2020

2024

Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk
A verified low-level implementation and visualization of the adaptive exterior light and speed control system.
In International Journal on Software Tools for Technology Transfer, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/s10009-024-00750-5

2020

Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.
In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- PDF
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_30