ScholarWorks@고려대학교

상세 보기

An Approach for Applying Model Checking State Machine Diagrams using XMI

  • CHOI, Jin Young
제목
An Approach for Applying Model Checking State Machine Diagrams using XMI
저자
CHOI, Jin Young
학회명
Proceedings of The 34th Korean Institute of Information Scientists and Engineers
개최국가
대한민국
학회 개최일
2007-10-16 ~ 2007-10-19

ScholarWorks@고려대학교

02841 서울특별시 성북구 안암로 145 Tel. 02-3290-2963

COPYRIGHT © 고려대학교 All Rights Reserved.

Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.

You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.