한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2005년도 춘계학술발표대회
- /
- Pages.349-352
- /
- 2005
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
USE 모델검증 효율화를 위한 명령어 생성기
A USE command Generator for the efficiency of model verifications
- Ha, Il-Kyu (Dept. of Computer Engineering, Yeung-nam University) ;
- Kang, Byong-Uk (Dept. of Computer Engineering, Yeung-nam University)
- 발행 : 2005.05.13