Details

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

Allowed Actions

Read Download (392 Kb)

Group Anonymous
Network Internet
Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet All
  • 7-4

Access count: 614 
Last 30 days: 9

Detailed usage statistics