Thesis
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
심볼릭 모델검사 방법을 이용한 MSD와 Statechart 간의 일관성 검증
- Title
- 심볼릭 모델검사 방법을 이용한 MSD와 Statechart 간의 일관성 검증
- Authors
- 김상수
- Date Issued
- 2000
- Publisher
- 포항공과대학교
- URI
- http://postech.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000001905305
https://oasis.postech.ac.kr/handle/2014.oak/5533
- Article Type
- Thesis
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.