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

Allowed Actions: Read Download (392 Kb) You need Flash Player to read document

Group: Anonymous

Network: FL SPbPU Local Network

Document access rights

Network User group Action
-> FL SPbPU Local Network All Read Print Download
Internet All Read Print Download

Document usage statistics

stat Document access count: 278
Last 30 days: 0
Detailed usage statistics