한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
- /
- Pages.540-545
- /
- 2007
- /
- 1598-5164(pISSN)
외부환경을 고려한 ESTEREL 프로그램 검증
Taking Environments into account for ESTEREL Program Verification
- Ahn, Yun-Kyung (Programming Language Laboratory, Dept. of Electronic Engineering and Computer Science, KAIST) ;
- Jeon, Jin-Seong (Agency for Defense Development) ;
- Han, Tai-Sook (Programming Language Laboratory, Dept. of Electronic Engineering and Computer Science, KAIST)
- 발행 : 2007.10.26