서브메뉴
검색
Verification of State-Based Opacity Using Petri Nets
Verification of State-Based Opacity Using Petri Nets
상세정보
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- Verification of State-Based Opacity Using Petri Nets / Tong, Y. ; Li, Z. ; Seatzu, C.
- 형태사항
- pp. 2823
- 기타저자
- Tong, Y.
- 기타저자
- Li, Z.
- 기타저자
- Seatzu, C.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:344923
MARC
008171011s2017 a a kor■022 ▼a00189286
■245 ▼aVerification of State-Based Opacity Using Petri Nets▼dTong, Y.▼eLi, Z.▼eSeatzu, C.
■300 ▼app. 2823
■7001 ▼aTong, Y.
■7001 ▼aLi, Z.
■7001 ▼aSeatzu, C.
■773 ▼tIEEE transactions on Automatic Control▼gv.62 n.6▼d2017, 06
■SIS ▼aKS034376▼b63263▼h3▼sG
