Главная
» Электронная библиотека » Towards formal verification for cyber-physically agnostic software: A case study
Towards formal verification for cyber-physically agnostic software: A case study
ИР автоматически получен из ЭБС Scoupus
| Категория: | техника |
Скачивание доступно только для авторизованных пользователей
|
| Авторы (ПГУ): | Дубинин Виктор Николаевич [97]  , Дроздов Дмитрий Николаевич [0] | |
| Авторы (внеш.): | Дроздов Дмитрий Николаевич [1], Патил Сандип Александрович [1], Вяткин Валерий Владимирович [1] | |
| Тип: | Статья | |
| Вид: | электронная копия бумажного издания | |
| Количество частей: | 1 | |
| Год издания: | 2017 | |
| Издательство: | IEEE Publisher | |
| Место опубликования: | Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society | |
| Целевая аудитория: | Исследователь | |
| Целевое назначение: | Научное | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| Правообладатель: | IEEE Publisher | |
| DOI: | 10.1109/IECON.2017.8216953 | |
| Библиографическая ссылка: | Drozdov D., Patil S., Dubinin V., Vyatkin V. Towards Formal Verification for Cyber-physically Agnostic Software: a Case Study // The 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017), Beijing, China, October 29 – November 1. – pp. 5509-5514 | |
| Внешняя веб-ссылка: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85046663009&origin=inward | |
| Язык: | Русский | |
| Место хранения: | Вне ПГУ | |
| Дата размещения: | 18.11.2018 | |
| Владелец: | Дубинин Виктор Николаевич | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/19170400  | |
| Формат: | Не указан |