서브메뉴
검색
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
상세정보
MARC
008170928s2012 a a kor■022 ▼a00189286
■245 ▼aVerification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions▼dTakai, S.▼eUshio, T.
■300 ▼app. 798
■7001 ▼aTakai, S.
■7001 ▼aUshio, T.
■773 ▼tIEEE transactions on Automatic Control▼gv.57 n.3▼d2012, 03
■SIS ▼aKS025521▼b63263▼h3▼sG
