?

Детальная информация
Таблица Карточка RUSMARC
Название: Динамическая верификация гибридных систем // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. – № 2 (193)
Авторы: Пакулин Николай Витальевич
Организация: Министерство образования и науки Российской Федерации
Выходные сведения: Санкт-Петербург: Изд-во Политехн. ун-та, 2014
Коллекция: Общая коллекция
Тематика: динамическая верификация; тестирование; киберфизические системы; гибридные системы
УДК: 004.386(045); 004.415.53(045)
Тип документа: Статья, доклад
Тип файла: PDF
Язык: Русский

Разрешенные действия: Прочитать Загрузить (290 Кб) Для чтения документа необходим Flash Player

Группа: Анонимные пользователи

Сеть: Локальная сеть ИБК СПбПУ

Права на использование объекта хранения

Место доступа Группа пользователей Действие
-> Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Все Прочитать Печать Загрузить

Статистика использования документа

stat Количество обращений: 480
За последние 30 дней: 9
Подробная статистика