DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 차성덕 | - |
dc.contributor.advisor | 배두환 | - |
dc.contributor.advisor | Cha, Sung-Deok | - |
dc.contributor.advisor | Bae, Doo-Hwan | - |
dc.contributor.author | 김태효 | - |
dc.contributor.author | Kim, Tai-Hyo | - |
dc.date.accessioned | 2011-12-13T06:00:37Z | - |
dc.date.available | 2011-12-13T06:00:37Z | - |
dc.date.issued | 2000 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=157542&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34376 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2000.2, [ v, 69 p. ] | - |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 스테이트차트 | - |
dc.subject | 일관성 검사 | - |
dc.subject | 언어 포함 | - |
dc.subject | Software engineering | - |
dc.subject | Message Sequence Charts | - |
dc.subject | Statecharts | - |
dc.subject | Consistency checking | - |
dc.subject | Language containment | - |
dc.subject | 소프트웨어 공학 | - |
dc.subject | 메세지 시퀀스 차트 | - |
dc.title | Message sequence charts와 statecharts간의 일관성 검사 | - |
dc.title.alternative | Consistency checking between Message sequence charts and statecharts | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 157542/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 000983159 | - |
dc.contributor.localauthor | 차성덕 | - |
dc.contributor.localauthor | 배두환 | - |
dc.contributor.localauthor | Cha, Sung-Deok | - |
dc.contributor.localauthor | Bae, Doo-Hwan | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.