Details
| 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 |
Action 'Download' will be available if administrator prepare required files
| Group | Anonymous |
|---|---|
| Network | Internet |
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | All |
|
- 7-6
...
