UML 상태기계 다이어그램을 이용한 컴포넌트 인터페이스의 행위 호환성 검증도구2009년 2월 1일 · 약 1분김호준이우진담당교수정보처리학회논문지D(ISSN:1598-2866), 제16-D권, 제1호, pp. 65-72, 2009년 2월