?

Details
Table Card RUSMARC
Title: Динамическая верификация гибридных систем // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. –
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

Allowed Actions: Read Download (290 Kb)

Group: Anonymous

Network: Internet

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
-> Internet All Read Print Download

Table of Contents

  • 7-6

Usage statistics

stat Access count: 743
Last 30 days: 6
Detailed usage statistics