Full metadata record
DC Field | Value | Language |
dc.contributor.author | 고광일 | en_US |
dc.date.accessioned | 2015-02-24T13:39:06Z | - |
dc.date.available | 2015-02-24T13:39:06Z | - |
dc.date.issued | 1995 | en_US |
dc.identifier.other | OAK-2015-01016 | en_US |
dc.identifier.uri | http://postech.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000001898167 | en_US |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/3396 | - |
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 | PARTS : 다시각적 분석을 제공하는 시제논리 기반의 실시간 소프트웨어 시스템 명세 방법 | en_US |
dc.title.alternative | PARTS : A Temporal logic based real-time software system specification method supporting multiple viewpoints | en_US |
dc.type | Thesis | en_US |
dc.contributor.college | 일반대학원 전자계산학과 | en_US |
dc.date.degree | 1995-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.