한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
- /
- Pages.313-315
- /
- 2005
- /
- 1598-5164(pISSN)
웹 응용의 항해 모델 검사
Checking Navigation Model of Web Application
- 김택수 (서울대학교 컴퓨터공학부) ;
- 박상현 (서울대학교 컴퓨터공학부) ;
- 이병정 (서울시립대학교 컴퓨터과학부) ;
- 김희천 (한국방송통신대학교 컴퓨터과학과) ;
- 우치수 (서울대학교 컴퓨터공학부)
- Kim, Taek-Su (School of Computer Science & Engineering, Seoul National University) ;
- Park, Sang-Hyun (School of Computer Science & Engineering, Seoul National University) ;
- Lee, Byung-Jeong (School of Computer Science, University of Seoul) ;
- Kim, Hee-Chern (Dept. of Computer Science, Korea National Open University) ;
- Wu, Chi-Su (School of Computer Science & Engineering, Seoul National University)
- 발행 : 2005.11.01