Andrei Sergeevich Rozov Russian Federation, Novosibirsk Research area domain-specific programming languages embedded systems industrial automation software verification Affiliation & position Institute of Automation and Electrometry of Siberian Branch of the Russian Academy of Sciences — junior researcher Novosibirsk State University — senior lecturer E-mail rozov@iae.nsk.su
Zyubin V., Liakh T., Rozov A. Reflex Language: a Practical Notation for Cyber-Physical Systems // System Informatics. — 2018. — # 12. — P. 85-104
Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers // System Informatics. — 2020. — # 17. — P. 33-42
