Liakh Tatiana Viktorovna

Лях Татьяна Викторовна
Tatiana Viktorovna Liakh
Russia, Novosibirsk
Research area
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
List of Articles in System Informatics:
V. Zyubin T. Liakh Model Checking of industrial control algorithms in combination with virtual objects // System Informatics. — . — # 8.  — P. 11-20
N. Garanina V. Zyubin T. Liakh Ontological Approach to Organizing Specification Patterns in the Framework of Support System for Formal Verification of Distributed Program Systems // System Informatics. — . — # 9.  — P. 111-132
V. Zyubin T. Liakh A. Rozov Reflex Language: a Practical Notation for Cyber-Physical Systems // System Informatics. — . — # 12.  — P. 85-104
N. Garanina I. Anureev V. Zyubin A. Rozov T. Liakh S. Gorlatch Reasoning about Programmable Logic Controllers // System Informatics. — . — # 17.  — P. 33-42