Tatiana Viktorovna Liakh Russian Federation, Novosibirsk Research area domain-specific programming languages Affiliation & position Institute of Automation and Electrometry of Siberian Branch of the Russian Academy of Sciences — software engineer Novosibirsk State University — lecturer assistant E-mail antsys_nsu@mail.ru
Zyubin V., Liakh T. Model Checking of industrial control algorithms in combination with virtual objects // System Informatics. — 2016. — # 8. — P. 11-20
Garanina N., Zyubin V., Liakh T. Ontological Approach to Organizing Specification Patterns in the Framework of Support System for Formal Verification of Distributed Program Systems // System Informatics. — 2017. — # 9. — P. 111-132
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
