Thesis
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Logic prover를 이용한 statecharts 명세 검증
- Title
- Logic prover를 이용한 statecharts 명세 검증
- Authors
- 김영권
- Date Issued
- 1998
- Publisher
- 포항공과대학교
- URI
- http://postech.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000001899229
https://oasis.postech.ac.kr/handle/2014.oak/4457
- 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.