Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

2007.10a
/
Pages.46-47
/
2007
/
1598-5164(pISSN)

Korean Institute of Information Scientists and Engineers (한국정보과학회)

권호 표지

An Approach for Applying Model Checking State Machine Diagrams using XMI

XMI를 이용한 상태 차트의 모델 검증 적용 방법에 대한 연구

Park, Seung-Hyun (Dept. of Computer Science and Engineering, Korea University) ;
Choi, Jin-Young (Dept. of Computer Science and Engineering, Korea University)

박승현 (고려대학교 컴퓨터학과) ;
최진영 (고려대학교 컴퓨터학과)

Published : 2007.10.26

PDF

⟨ Previous Next ⟩

Abstract

Keywords