Open Access System for Information Sharing

Login Library

 

Thesis
Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads
Full metadata record
Files in This Item:
There are no files associated with this item.
DC FieldValueLanguage
dc.contributor.author김영권en_US
dc.date.accessioned2015-02-24T14:28:05Z-
dc.date.available2015-02-24T14:28:05Z-
dc.date.issued1998en_US
dc.identifier.otherOAK-2015-02077en_US
dc.identifier.urihttp://postech.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000001899229en_US
dc.identifier.urihttps://oasis.postech.ac.kr/handle/2014.oak/4457-
dc.descriptionMasteren_US
dc.languagekoren_US
dc.publisher포항공과대학교en_US
dc.rightsBY_NC_NDen_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.0/kren_US
dc.titleLogic prover를 이용한 statecharts 명세 검증en_US
dc.title.alternativeAn applic ation of a logic prover for the verification of requiremts specification in statechartsen_US
dc.typeThesisen_US
dc.contributor.college일반대학원 전자계산학과en_US
dc.date.degree1998-02en_US
dc.type.docTypeThesis-

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Views & Downloads

Browse