Rozov, Andrei
Institute of Automation and Electrometry of SB RAS
Russia, Novosibirsk
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