- Ensuring Sound Numerical Simulation of Hybrid Automata
- Ensuring Sound Numerical Simulation of Hybrid Automata
- ㆍ 저자명
- Hur. Yerang,Sim. Jae-Hwan,Kim. Je-Sung,Chai. Jin-Young
- ㆍ 간행물명
- Journal of computing science and engineering
- ㆍ 권/호정보
- 2009년|3권 2호|pp.73-87 (15 pages)
- ㆍ 발행정보
- 한국정보과학회
- ㆍ 파일정보
- 정기간행물|ENG| PDF텍스트
- ㆍ 주제분야
- 기타
