검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions Takai S, Ushio T IEEE Transactions on Automatic Control, 57(3), 798, 2012 |
| No. | Article |
|---|---|
| 1 |
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions Takai S, Ushio T IEEE Transactions on Automatic Control, 57(3), 798, 2012 |