Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
VERMONT - средство верификации программно-конфигурируемых сетей
статья
Статья опубликована в журнале из перечня ВАК
Дата последнего поиска статьи во внешних источниках: 1 февраля 2021 г.
Авторы:
Алтухов В.С.
,
Захаров В.А.
,
Подымов В.В.
,
Чемерицкий Е.В.
Журнал:
Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление
Том:
212
Номер:
1
Год издания:
2015
Издательство:
Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого"
Местоположение издательства:
Санкт-Петербург
Первая страница:
74
Последняя страница:
87
DOI:
10.5862/JCSTCS.212.7
Добавил в систему:
Захаров Владимир Анатольевич