서브메뉴
검색
Verification of the Observer Property in Discrete Event Systems
Verification of the Observer Property in Discrete Event Systems
상세정보
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- Verification of the Observer Property in Discrete Event Systems / Pena, P.N. ; Bravo, H.J.
- 형태사항
- pp. 2176
- 기타저자
- Pena, P.N.
- 기타저자
- Bravo, H.J.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:285410
MARC
008140905s2014 a a kor■022 ▼a00189286
■245 ▼aVerification of the Observer Property in Discrete Event Systems ▼dPena, P.N.▼eBravo, H.J.
■300 ▼app. 2176
■7001 ▼aPena, P.N.
■7001 ▼aBravo, H.J.
■773 ▼tIEEE transactions on Automatic Control▼gv.59 n.8▼d2014, 08
■SIS ▼aKS029297▼b63263▼h3▼sG
