Главная
» Электронная библиотека » Plant model generation from event log using ProM for formal verification of CPS
Plant model generation from event log using ProM for formal verification of CPS
| Категория: | техника | |
| Авторы (ПГУ): | Дубинин Виктор Николаевич [100]  | |
| Тип: | Статья | |
| Вид: | электронная копия бумажного издания | |
| Количество частей: | 1 | |
| Год издания: | 2022 | |
| Издательство: | arXiv.org | |
| Место опубликования: | Cornell University | |
| Индексация: | Иные зарубежные (ERIH, PubMed, MathSciNet, zbMATH, Chemical Abstracts, Agris, Social Science Research Network, Springer, GeoRef, Astrophysics Data System) | |
| Целевая аудитория: | Исследователь | |
| Целевое назначение: | Научное | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| Правообладатель: | arXiv.org | |
| DOI: | 10.48550/arXiv.2211.03681 | |
| Библиографическая ссылка: | Xavier M., Dubinin V., Patil S., Vyatkin V. Plant model generation from event log using ProM for formal verification of CPS // arXiv preprint arXiv:2211.03681, 2022. – Р. 1-4. | |
| Внешняя веб-ссылка: | https://arxiv.org/abs/2211.03681 | |
| Язык: | Английский | |
| Место хранения: | Вне ПГУ | |
| Дата размещения: | 02.11.2023 | |
| Владелец: | Дубинин Виктор Николаевич | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/1698911304  | |
| Формат: | Не указан |