Details
Title | Верификация программно-конфигурируемых сетей при помощи системы UPPAAL // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. – № 2 (193) |
---|---|
Creators | Подымов Владислав Васильевич ; Попеско Ульяна Владиславовна |
Organization | Министерство образования и науки Российской Федерации |
Imprint | Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014 |
Collection | Общая коллекция |
Subjects | программно-конфигурируемые сети ; верификация ; сетевые коммутаторы ; временные аппараты ; темпоральная логика |
UDC | 004.415.5(045) |
Document type | Article, report |
File type | |
Language | Russian |
Rights | Свободный доступ из сети Интернет (чтение, печать, копирование) |
Record key | RU\SPSTU\edoc\22040 |
Record create date | 6/20/2014 |
- 7-4
Access count: 614
Last 30 days: 9