Верификация программно-конфигурируемых сетей при помощи системы UPPAAL

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

	Таблица	Карточка	RUSMARC

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

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

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

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

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

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