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

Anureev I.S.   Garanina N.O.   Rozov A.S.   Sailau kyzy Z.   Zyubin V.E.  

Deductive Verification of Distributed Control Software Using Reflex

Reporter: Anureev I.S.