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

Пакулин, Николай Витальевич. Динамическая верификация гибридных систем [Электронный ресурс] = Dynamic verification of hybrid systems / Н.В. Пакулин. — Электрон. текстовые дан. (1 файл : 289 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Конференция). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4157.pdf>.

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

Тематика: динамическая верификация; тестирование; киберфизические системы; гибридные системы

УДК: 004.386(045); 004.415.53(045)

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

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

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

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

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

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

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

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