Sailau kyzy, Zhuldys

Доклад

• Anureev I.S.^*, Garanina N.O.^*, Rozov A.S.^**, Sailau kyzy Z.^***, Zyubin V.E.^**
  Deductive Verification of Distributed Control Software Using Reflex
  ^*A. P. Ershov Institute of Informatics Systems (Новосибирск), Россия
  ^**Institute of Automation and Electrometry of SB RAS (Новосибирск), Россия
  ^***Karaganda State Technical University (Karaganda), Казахстан