Anureev, Igor Sergeevich
Senior Research Scientist, Ph.D. in Physics and MathematicsA.P. Ershov Institute of Informatics Systems of SB RAS
http://www.iis.nsk.su
Russia, 630090, Novosibirsk, Ac. Lavrentiev Ave, 6
Phone: +7(383) 330-86-52, Fax: +7(383) 332-34-94
Report
- Anureev I.S.*, Garanina N.O.**, Rozov A.***, Sailau kyzy Z.****, Zyubin V.E.*****, Liakh T.V.******
Verification-oriented transformational semantics of distributed Reflex programs
*A.P. Ershov Institute of Informatics Systems of SB RAS (Novosibirsk), Russia
**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
*****Institute of Automation and Electrometry of SB RAS (Novosibirsk), Russia
******Institute of Automation and Electrometry (Novosibirsk), Russia