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