Детальная информация
| Название | Динамическая верификация гибридных систем = Dynamic verification of hybrid systems // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – 2014. – № 2 (193) |
|---|---|
| Авторы | Пакулин Николай Витальевич |
| Организация | Министерство образования и науки Российской Федерации |
| Выходные сведения | Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014 |
| Коллекция | Общая коллекция |
| Тематика | динамическая верификация ; тестирование ; киберфизические системы ; гибридные системы |
| УДК | 004.386(045); 004.415.53(045) |
| Тип документа | Статья, доклад |
| Язык | Русский |
| Права доступа | Свободный доступ из сети Интернет (чтение, печать, копирование) |
| Ключ записи | RU\SPSTU\edoc\22041 |
| Дата создания записи | 20.06.2014 |
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Все |
|
- 7-6
...
