서브메뉴
검색
Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control
Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control
상세정보
- 자료유형
- 기사
- ISSN
- 15523098
- 서명/저자
- Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control / Raman, V. ; Piterman, N. ; Finucane, C.
- 형태사항
- pp. 591
- 기타저자
- Raman, V.
- 기타저자
- Piterman, N.
- 기타저자
- Finucane, C.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:339866
MARC
008170927s2015 a a eng■022 ▼a15523098
■245 ▼aTiming Semantics for Abstraction and Execution of Synthesized High-Level Robot Control▼dRaman, V.▼ePiterman, N.▼eFinucane, C.
■300 ▼app. 591
■7001 ▼aRaman, V.
■7001 ▼aPiterman, N.
■7001 ▼aFinucane, C.
■773 ▼tIEEE Transactions on Robotics▼gv.31 n.3▼d2015, 06
■SIS ▼aKS030860▼b63154▼h3▼sG
