New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs.

Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids

Y Hafidi, L Kahloul, M Khalgui - International Conference on Software …, 2019 - Springer
This paper deals with the formal verification of reconfigurable discrete event systems. We
use the formalism called reconfigurable timed net condition/event systems (R-TNCESs) …
相关文章 所有 3 个版本