Korea Information Processing Society Review (정보처리학회지)

Volume 14 Issue 6
/
Pages.18-30
/
2007
/
1226-9182(pISSN)
/
2734-0376(eISSN)

Korea Information Processing Society (한국정보처리학회)

권호 표지

정형논리를 이용한 모델링 및 분석

박사천 (경기대학교 전산학과) ;
권기현 (경기대학교 정보과학부)

Published : 2007.11.30

PDF

⟨ Previous Next ⟩

Abstract

Keywords