Home Page
» Online Library » 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
| Theme: | ||
| Author: | ||
| Type: | Article | |
| Kind: | Electronic copy | |
| Parts: | 1 | |
| The year of publishing: | 2022 | |
| Publishing house: | arXiv.org | |
| Publishing place: | Cornell University | |
| The target audience: | Researcher | |
| Special purpose: | Scientific | |
| Copyright holder: | arXiv.org | |
| DOI: | 10.48550/arXiv.2211.03681 | |
| Bibliographic reference: | 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. | |
| Url: | https://arxiv.org/abs/2211.03681 | |
| Language: | English | |
| Post date: | 02.11.2023 |