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