검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements Keroglou C, Hadjicostis CN IEEE Transactions on Automatic Control, 63(10), 3601, 2018 |
| 2 |
Verification of detectability in Probabilistic Finite Automata Keroglou C, Hadjicostis CN Automatica, 86, 192, 2017 |