Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ЦЭМИ РАН
Главная
Поиск
Статистика
О проекте
Помощь
Workshop on Formal Reasoning in Distributed Algorithms (FRIDA-2014)
Семинар (workshop)
Охват:
Международная
Даты проведения:
2014
Место проведения:
Vienna, Austria, Austria
Добавил в систему:
Подымов Владислав Васильевич
Доклады:
2014
Models and techniques for verification of Software Defined Networks
(Устный)
Авторы:
Victor Altukhov
,
Vladimir Zakharov
,
Vladislav Podymov
,
Eugene Chemeritskiy