Назад
Garanina, Natalia Olegovna
A. P. Ershov Institute of Informatics Systems
Россия, Новосибирск
Доклад
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), Казахстан
К списку участников