Towards formal ASM semantics of timed control systems for industrial CPS

ИР автоматически получен из ЭБС Scoupus
Категория: техника
Скачивание доступно только для авторизованных пользователей
Авторы (ПГУ): Дубинин Виктор Николаевич [50]  , Дроздов Дмитрий Николаевич [50]  
Авторы (внеш.): Вяткин Валерий Владимирович [0], Сандип Патил Индия [0]
Тип: Статья
Вид: электронная копия бумажного издания
Количество частей: 1
Год издания: 2019
Издательство: IEEE Publisher
Где опубликовано: Сборник трудов конференции
Место опубликования: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
Целевая аудитория: Исследователь
Целевое назначение: Научное
Лицензия: Нет ограничений
Ограничения: Нет ограничений
Правообладатель: IEEE
DOI: 10.1109/ETFA.2019.8869293
Библиографическая ссылка: Drozdov D., Patil S., Dubinin V., Vyatkin V. Towards formal ASM semantics of timed control systems for industrial CPS // 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA’2019). – pp. 1682-1685.
Внешняя веб-ссылка: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85074192868&origin=inward
Язык: Английский
Место хранения:Электронная библиотека ПГУ
Дата размещения:08.11.2019
Владелец:Дубинин Виктор Николаевич
Ссылка на ресурс:
http://elib.pnzgu.ru/library/1573227893
Формат: Не указан