Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2007.10a
- /
- Pages.46-47
- /
- 2007
- /
- 1598-5164(pISSN)
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
Abstract
Keywords