Details

Пакулин, Николай Витальевич. Динамическая верификация гибридных систем [Электронный ресурс] = Dynamic verification of hybrid systems / Н.В. Пакулин. — Электрон. текстовые дан. (1 файл : 289 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Конференция). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4157.pdf>.

Record create date: 6/20/2014

Subject: динамическая верификация; тестирование; киберфизические системы; гибридные системы

UDC: 004.386(045); 004.415.53(045)

Collections: Общая коллекция

Allowed Actions: Read Download (290 Kb) You need Flash Player to read document

Group: Anonymous

Network: FL SPbPU Local Network

Document access rights

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

Document usage statistics

stat Document access count: 478
Last 30 days: 8
Detailed usage statistics