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 |
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | All |
|
Access count: 751
Last 30 days: 19
