Rozov Andrei Sergeevich

Andrei Sergeevich Rozov
Russia, Novosibirsk
Research area
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
List of Articles in System Informatics:
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