Details
Title | Динамическая верификация гибридных систем // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. – № 2 (193) |
---|---|
Creators | Пакулин Николай Витальевич |
Organization | Министерство образования и науки Российской Федерации |
Imprint | Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014 |
Collection | Общая коллекция |
Subjects | динамическая верификация ; тестирование ; киберфизические системы ; гибридные системы |
UDC | 004.386(045) ; 004.415.53(045) |
Document type | Article, report |
File type | |
Language | Russian |
Rights | Свободный доступ из сети Интернет (чтение, печать, копирование) |
Record key | RU\SPSTU\edoc\22041 |
Record create date | 6/20/2014 |
- 7-6
Access count: 898
Last 30 days: 21