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.
К списку докладов
- Общая информация
- Научная программа
- Программный комитет
- Организационный комитет
- Важные даты
- Регистрационный взнос
- Представление материалов
- Проживание
- Предыдущие конференции
- Приглашение
- Участники
- Доклады
- Регистрация/Вход
К списку докладов