서브메뉴
검색
Quantitative Temporal Simulation and Refinement Distances for Timed Systems
Quantitative Temporal Simulation and Refinement Distances for Timed Systems
상세정보
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- Quantitative Temporal Simulation and Refinement Distances for Timed Systems / Chatterjee, K. ; Prabhu, V. S.
- 형태사항
- pp. 2291
- 기타저자
- Chatterjee, K.
- 기타저자
- Prabhu, V. S.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:343259
MARC
008171010s2015 a a kor■022 ▼a00189286
■245 ▼aQuantitative Temporal Simulation and Refinement Distances for Timed Systems▼dChatterjee, K.▼ePrabhu, V. S.
■300 ▼app. 2291
■7001 ▼aChatterjee, K.
■7001 ▼aPrabhu, V. S.
■773 ▼tIEEE transactions on Automatic Control▼gv.60 n.9▼d2015, 09
■SIS ▼aKS031283▼b63263▼h3▼sG
