심볼릭 모델검사 방법을 이용한 MSD와 Statechart 간의 일관성 검증
트윗하기
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.