Thesis
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 고광일 | en_US |
| dc.date.accessioned | 2015-02-24T14:48:02Z | - |
| dc.date.available | 2015-02-24T14:48:02Z | - |
| dc.date.issued | 1999 | en_US |
| dc.identifier.other | OAK-2015-02824 | en_US |
| dc.identifier.uri | http://postech.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000001899977 | en_US |
| dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/5204 | - |
| dc.description | Doctor | 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 | 채널과 공용변수로 상호대화하는 제어소프트웨어의 조합적 심볼릭 모델검사 방법 | en_US |
| dc.title.alternative | A Compositional Symbolic Model-Checking Method for Control Software Communicating Through Channels and Shared Variables | en_US |
| dc.type | Thesis | en_US |
| dc.contributor.college | 일반대학원 컴퓨터공학과 | en_US |
| dc.date.degree | 1999-02 | en_US |
| dc.type.docType | Thesis | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.