March 26, 2020
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
Authors
Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk
Venue
ABZ 2020
Bibtex
@InProceedings(abz20-case-study-in-c,
Author = {Sebastian Krings and Philipp Körner and Jannik Dunkelau and Chris Rutenkolk},
Title = {{A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System}},
Booktitle = {Proceedings ABZ (International Conference on Rigorous State-Based Methods)},
Year = 2020,
Series = {Lecture Notes in Computer Science},
Volume = 12071,
Pages = {382--397},
Publisher = {Springer}
)
