Anureev, Igor Sergeevich
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), Казахстан