|
Title
|
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL = UPPAAL-based verification of software-defined networks // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – 2014. – № 2 (193)
|
|
Creators
|
Подымов Владислав Васильевич
;
Попеско Ульяна Владиславовна
|
|
Organization
|
Министерство образования и науки Российской Федерации
|
|
Imprint
|
Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014
|
|
Collection
|
Общая коллекция
|
|
Subjects
|
программно-конфигурируемые сети
;
верификация
;
сетевые коммутаторы
;
временные аппараты
;
темпоральная логика
|
|
UDC
|
004.415.5(045)
|
|
Document type
|
Article, report
|
|
Language
|
Russian
|
|
Rights
|
Свободный доступ из сети Интернет (чтение, печать, копирование)
|
|
Record key
|
RU\SPSTU\edoc\22040
|
| Record create date |
6/20/2014 |
