|
Title
|
Динамическая верификация гибридных систем = Dynamic verification of hybrid systems // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – 2014. – № 2 (193)
|
|
Creators
|
Пакулин Николай Витальевич
|
|
Organization
|
Министерство образования и науки Российской Федерации
|
|
Imprint
|
Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014
|
|
Collection
|
Общая коллекция
|
|
Subjects
|
динамическая верификация
;
тестирование
;
киберфизические системы
;
гибридные системы
|
|
UDC
|
004.386(045);
004.415.53(045)
|
|
Document type
|
Article, report
|
|
Language
|
Russian
|
|
Rights
|
Свободный доступ из сети Интернет (чтение, печать, копирование)
|
|
Record key
|
RU\SPSTU\edoc\22041
|
| Record create date |
6/20/2014 |
