May 13, 2024
A verified low-level implementation and visualization of the adaptive exterior light and speed control system
Authors
Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk
Venue
STTT
Bibtex
@article{abz20-case-study-in-c-journal,
author = {Sebastian Krings and Philipp Körner and Jannik Dunkelau and Kristin Rutenkolk},
title = {A verified low-level implementation and visualization of the adaptive exterior light and speed control system},
journal = {International Journal on Software Tools for Technology Transfer},
year = {2024},
volume = 26,
pages = {403--419}
}
