The Eleventh International Scientific Conference and Young Scientist School "Theory and Computational Methods for Inverse and Ill-posed Problems"

Novosibirsk, Akademgorodok

• General information
• Scientific program
• Program committee
• Organizing committee
• Important dates
• Registration fee
• Accommodation
• Invitation
• Participants
• Reports
• Registration/Login

Zyubin, Vladimir Evgenievich

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