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

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

Разрешенные действия

Прочитать Загрузить (290 Кб)

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

Количество обращений: 905 
За последние 30 дней: 20

Подробная статистика