Логин:
Пароль:
Вход
Одиннадцатая международная молодёжная научная школа - конференция "Теория и численные методы решения обратных и некорректных задач"
Новосибирск, Академгородок
Общая информация
Научная программа
Программный комитет
Организационный комитет
Важные даты
Регистрационный взнос
Представление материалов
Проживание
Предыдущие конференции
Приглашение
Участники
Доклады
Регистрация/Вход
Anureev I.S.
Garanina N.O.
Rozov A.S.
Sailau kyzy Z.
Zyubin V.E.
Deductive Verification of Distributed Control Software Using Reflex
Докладчик:
Anureev I.S.
К списку докладов