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