DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Park, Kyu-Ho | - |
dc.contributor.advisor | 박규호 | - |
dc.contributor.author | Hong, Joon-Sung | - |
dc.contributor.author | 홍준성 | - |
dc.date.accessioned | 2011-12-14 | - |
dc.date.available | 2011-12-14 | - |
dc.date.issued | 1998 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=134767&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/36437 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 전기및전자공학과, 1998.2, [ iv, v, 156 p. ] | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Executable specification | - |
dc.subject | Real-time verification | - |
dc.subject | Object oriented software | - |
dc.subject | Formal method | - |
dc.subject | DEVS | - |
dc.subject | DEVS | - |
dc.subject | 실행 가능한 명세 | - |
dc.subject | 실시간 시스템 검증 | - |
dc.subject | 객체 지향 소프트웨어 | - |
dc.subject | 정형적 방법 | - |
dc.title | (A) formal method for object-oriented real-time software development | - |
dc.title.alternative | 객체지향 실시간 소프트웨어를 위한 정형적 개발 방법 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 134767/325007 | - |
dc.description.department | 한국과학기술원 : 전기및전자공학과, | - |
dc.identifier.uid | 000935848 | - |
dc.contributor.localauthor | Park, Kyu-Ho | - |
dc.contributor.localauthor | 박규호 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.