서브메뉴
검색
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Detailed Information
- Material Type
- 기사
- ISSN
- 00189286
- Title/Author
- Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems / Wongpiromsarn, T. ; Topcu, U. ; Lamperski, A.
- Material Info
- pp. 3344
- Added Entry-Personal Name
- Wongpiromsarn, T.
- Added Entry-Personal Name
- Topcu, U.
- Added Entry-Personal Name
- Lamperski, A.
- Host Item Entry
- IEEE transactions on Automatic Control : v.61 n.11 2016, 11
- 모체레코드
- 모체정보확인
- Control Number
- gtec:343839
MARC
008171010s2016 a a kor■022 ▼a00189286
■245 ▼aAutomata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems▼dWongpiromsarn, T.▼eTopcu, U.▼eLamperski, A.
■300 ▼app. 3344
■7001 ▼aWongpiromsarn, T.
■7001 ▼aTopcu, U.
■7001 ▼aLamperski, A.
■773 ▼tIEEE transactions on Automatic Control▼gv.61 n.11▼d2016, 11
■SIS ▼aKS033366▼b63263▼h3▼sG
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Book Loan Request Service
- My Folder
