Alexander Kittelmann. A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems / Alexander Kittelmann ; Ina Schaefer, Reiner Hähnle, Einar Broch Johnsen. PhD thesis, Braunschweig University of Technology, Germany, 2022. [doi]
Abstract is missing.