Главная
» Электронная библиотека » Формальная верификация киберфизических систем управления со случайными временными задержками
Формальная верификация киберфизических систем управления со случайными временными задержками
| Категория: | техника |
Скачивание доступно только для авторизованных пользователей
|
| Авторы (ПГУ): | Дубинин Виктор Николаевич [98]  | |
| Авторы (внеш.): | Дроздов Дмитрий Николаевич [1], Патил Сандип Александрович [1] | |
| Тип: | Статья | |
| Вид: | электронная копия бумажного издания | |
| Количество частей: | 1 | |
| Год издания: | 2018 | |
| Издательство: | Изд. ПГУ | |
| Где опубликовано: | Сборник статей | |
| Индексация: | РИНЦ | |
| Целевая аудитория: | Исследователь | |
| Целевое назначение: | Научное | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| Правообладатель: | ПГУ | |
| Библиографическая ссылка: | Дроздов Д. Н., Патил С., Дубинин В. Н. Формальная верификация киберфизических систем управления со случайными временными задержками // Новые информационные технологии и системы (НИТиС 2017) : тр. XIV Междунар. науч.-техн. конф. – Пенза, 2017. – C. 3-5. | |
| Внешняя веб-ссылка: | https://elibrary.ru/item.asp?id=32238947 | |
| Язык: | Русский | |
| Место хранения: | ПГУ, вне электронной библиотеки | |
| Дата размещения: | 26.11.2018 | |
| Владелец: | Дубинин Виктор Николаевич | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/20422300  | |
| Формат: | Не указан |