ScholarWorks@국립금오공과대학교

상세 보기

MSC로 기술된 통신 소프트웨어 명세의 검증을 위한 전체 상태 전이 그래프 생성

제목
MSC로 기술된 통신 소프트웨어 명세의 검증을 위한 전체 상태 전이 그래프 생성
저자
신윤식; Kim, Byeong-Man
발행일
1999-12
저널명
한국정보과학회 논문지
권
26(B)
호
12

ScholarWorks@국립금오공과대학교

경상북도 구미시 대학로 61 (39177) Tel. +82 54-478-7170

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.