Back
Garanina, Natalia Olegovna
A. P. Ershov Institute of Informatics Systems
Russia, Novosibirsk
Report
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 (Novosibirsk), Russia
**
Institute of Automation and Electrometry of SB RAS (Novosibirsk), Russia
***
Karaganda State Technical University (Karaganda), Kazakhstan
To participants list