한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2001년도 춘계학술발표논문집 (상)
- /
- Pages.181-184
- /
- 2001
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
SPIN 을 이용한 CTL 모델 체킹 방법론 연구
CTL Model Checking using SPIN
- Bang, Ki-Seok (Department of Computer Science and Engineering, Korea University) ;
- Lee, Joo-Yong (Department of Computer Science and Engineering, Korea University) ;
-
Choi, Jin-Young
(Department of Computer Science and Engineering, Korea University)
- 발행 : 2001.04.13