ABZ 2021 (Ulm, Germany)
8th International Conference on Rigorous State-Based Methods
Adaptive Exterior Light and Speed Control System (ABZ 2020)
This document describes two systems from the automotive domain: an adaptive exterior light system (ELS) and a speed control system (SCS). This specification is based on the SPES XT running example.