검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Verification of the Observer Property in Discrete Event Systems Pena PN, Bravo HJ, da Cunha AEC, Malik R, Lafortune S, Cury JER IEEE Transactions on Automatic Control, 59(8), 2176, 2014 |
| No. | Article |
|---|---|
| 1 |
Verification of the Observer Property in Discrete Event Systems Pena PN, Bravo HJ, da Cunha AEC, Malik R, Lafortune S, Cury JER IEEE Transactions on Automatic Control, 59(8), 2176, 2014 |