Full metadata record
DC Field | Value | Language |
dc.contributor.author | 김상수 | en_US |
dc.date.accessioned | 2015-02-24T14:56:39Z | - |
dc.date.available | 2015-02-24T14:56:39Z | - |
dc.date.issued | 2000 | en_US |
dc.identifier.other | OAK-2015-03153 | en_US |
dc.identifier.uri | http://postech.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000001905305 | en_US |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/5533 | - |
dc.description | Master | en_US |
dc.language | kor | en_US |
dc.publisher | 포항공과대학교 | en_US |
dc.rights | BY_NC_ND | en_US |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/2.0/kr | en_US |
dc.title | 심볼릭 모델검사 방법을 이용한 MSD와 Statechart 간의 일관성 검증 | en_US |
dc.title.alternative | Verification of Consistency Between Message Sequence Diagram and Statechart Using theSymbolic Model Checking Approach | en_US |
dc.type | Thesis | en_US |
dc.contributor.college | 일반대학원 컴퓨터공학과 | en_US |
dc.date.degree | 2000-02 | en_US |
dc.type.docType | 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.