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