Детальная информация

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

Разрешенные действия: Прочитать Загрузить (392 Кб)

Группа: Анонимные пользователи

Сеть: Интернет

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
-> Интернет Все Прочитать Печать Загрузить

Оглавление

  • 7-4

Статистика использования

stat Количество обращений: 119
За последние 30 дней: 6
Подробная статистика