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

VERMONT - средство верификации программно-конфигурируемых сетей [Электронный ресурс] = VERMONT - a toolset for verification of software defined networks / В.А. Захаров, В.С. Алтухов, В.В. Подымов, Е.В. Чемерицкий. — Электрон. текстовые дан. (1 файл : 375 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2015. – № 1 (212). — (Конференция “Инструменты и методы анализа программ - 2014”). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/5507.pdf>. — <URL:http://doi.org/10.5862./JCTCS.212.7>.

Дата создания записи: 22.05.2015

Тематика: Информационные системы — Надежность; Контроллеры программные; верификация сетей; программно-конфигурируемые сети

УДК: 004.415.5(045)

Коллекции: Общая коллекция

Ссылки: DOI

Разрешенные действия: Прочитать Загрузить (375 Кб) Для чтения документа необходим Flash Player

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

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

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

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

Статистика использования документа

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