Название:
|
VERMONT - средство верификации программно-конфигурируемых сетей // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. –
|
Авторы:
|
Захаров Владимир Анатольевич;
Алтухов Виктор Сергеевич;
Подымов Владислав Васильевич;
Чемерицкий Евгений Викторович
|
Организация:
|
Министерство образования и науки Российской Федерации
|
Выходные сведения:
|
Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2015
|
Коллекция:
|
Общая коллекция
|
Тематика:
|
Информационные системы — Надежность;
Контроллеры программные;
верификация сетей;
программно-конфигурируемые сети
|
УДК:
|
004.415.5(045)
|
Тип документа:
|
Статья, доклад
|
Тип файла:
|
PDF
|
Язык:
|
Русский
|
DOI:
|
10.5862./JCTCS.212.7
|
Права доступа:
|
Свободный доступ из сети Интернет (чтение, печать, копирование)
|
Ключ записи:
|
RU\SPSTU\edoc\26732
|