서브메뉴
검색
Bounded Model Checking of Hybrid Systems for Control
Bounded Model Checking of Hybrid Systems for Control
Detailed Information
- Material Type
- 기사
- ISSN
- 00189286
- Title/Author
- Bounded Model Checking of Hybrid Systems for Control / Kwon, Y. ; Kim, E.
- Material Info
- pp. 2961
- Added Entry-Personal Name
- Kwon, Y.
- Added Entry-Personal Name
- Kim, E.
- Host Item Entry
- IEEE transactions on Automatic Control : v.60 n.11 2015, 11
- 모체레코드
- 모체정보확인
- Control Number
- gtec:343303
MARC
008171010s2015 a a kor■022 ▼a00189286
■245 ▼aBounded Model Checking of Hybrid Systems for Control▼dKwon, Y.▼eKim, E.
■300 ▼app. 2961
■7001 ▼aKwon, Y.
■7001 ▼aKim, E.
■773 ▼tIEEE transactions on Automatic Control▼gv.60 n.11▼d2015, 11
■SIS ▼aKS031616▼b63263▼h3▼sG
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Book Loan Request Service
- My Folder
