Title:
|
VERMONT - средство верификации программно-конфигурируемых сетей // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. – № 1 (212)
|
Creators:
|
Захаров Владимир Анатольевич;
Алтухов Виктор Сергеевич;
Подымов Владислав Васильевич;
Чемерицкий Евгений Викторович
|
Organization:
|
Министерство образования и науки Российской Федерации
|
Imprint:
|
Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2015
|
Collection:
|
Общая коллекция
|
Subjects:
|
Информационные системы — Надежность;
Контроллеры программные;
верификация сетей;
программно-конфигурируемые сети
|
UDC:
|
004.415.5(045)
|
Document type:
|
Article, report
|
File type:
|
PDF
|
Language:
|
Russian
|
DOI:
|
10.5862./JCTCS.212.7
|
Rights:
|
Свободный доступ из сети Интернет (чтение, печать, копирование)
|