Towards safe cyber-physical systems: the Reflex language and its transformational semantics

Typ

Beitrag Konferenzband von Prof. Dr.-Ing. Horst Schulte

Zitation

Anureev, Igor ; Liakh, Tatiana ; Rozov, Andrei ; Schulte, Horst ; Zyubin, Vladimir : Towards safe cyber-physical systems: the Reflex language and its transformational semantics. In: Proc. Siberian Conference on Control and Communications 2019 (SIBCON 2019), S. 1-6, Tomsk, 2019, ISBN 978-1-5386-5142-1/19

Homepage

https://ieeexplore.ieee.org/document/8729633