Название:
|
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. –
|
Авторы:
|
Подымов Владислав Васильевич;
Попеско Ульяна Владиславовна
|
Организация:
|
Министерство образования и науки Российской Федерации
|
Выходные сведения:
|
Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014
|
Коллекция:
|
Общая коллекция
|
Тематика:
|
программно-конфигурируемые сети;
верификация;
сетевые коммутаторы;
временные аппараты;
темпоральная логика
|
УДК:
|
004.415.5(045)
|
Тип документа:
|
Статья, доклад
|
Тип файла:
|
PDF
|
Язык:
|
Русский
|
Права доступа:
|
Свободный доступ из сети Интернет (чтение, печать, копирование)
|
Ключ записи:
|
RU\SPSTU\edoc\22040
|