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 PDF
Language Russian
Rights Свободный доступ из сети Интернет (чтение, печать, копирование)
Record key RU\SPSTU\edoc\22041
Record create date 6/20/2014

Allowed Actions

Read Download (290 Kb)

Group Anonymous
Network Internet
Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet All
  • 7-6

Access count: 898 
Last 30 days: 21

Detailed usage statistics