Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
MISRA C
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
In this article, we present an approach to the ABZ 2020 case study, that differs from the ones usually presented at ABZ: Rather than …
Sebastian Krings
,
Philipp Körner
,
Jannik Dunkelau
,
Chris Rutenkolk
PDF
Slides
Cite
×