상세 보기
- 제목
- Formal Verification of DEV & DESS Formalism using Symbolic Model Checker HyTech
- 제목 (타언어)
- Formal Verification of DEV & DESS Formalism using Symbolic Model Checker HyTech
- 저자
- Sungdeok Cha
- 발행일
- 2011-12-09
- 학회명
- 2011 International Conference on Control and Automation (CA 2011)
- 개최지
- Jeju Grand Hotel, Jeju
- 개최국가
- 대한민국
- 학회 개최일
- 2011-12-08 ~ 2011-12-10