Назад
Sailau kyzy, Zhuldys
Karaganda State Technical University
Казахстан, Karaganda
Доклад
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), Казахстан
К списку участников