A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems / Alexander Kittelmann ; Ina Schaefer, Reiner Hähnle, Einar Broch Johnsen.
(xsd:string)
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems / Alexander Kittelmann ; Ina Schaefer, Reiner Hähnle, Einar Broch Johnsen.
(xsd:string)