Login:
Password:
Login
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.
To reports list