DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 배두환 | - |
dc.contributor.advisor | Bae, Doo-Hwan | - |
dc.contributor.author | 최제욱 | - |
dc.contributor.author | Choi, Je-Wook | - |
dc.date.accessioned | 2011-12-14T02:28:00Z | - |
dc.date.available | 2011-12-14T02:28:00Z | - |
dc.date.issued | 1996 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=109106&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/40005 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 정보및통신공학과, 1996.8, [ vi, 48 p. ] | - |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 교착상태 | - |
dc.subject | Time petri nets | - |
dc.subject | 도달성 조사 | - |
dc.subject | 유한성 | - |
dc.subject | 시간 페트리 네트 | - |
dc.subject | Deadlock | - |
dc.subject | Reachability analysis | - |
dc.subject | Boundedness | - |
dc.title | 실시간 시스템을 위한 객체 지향 설계의 페트리 네트 기반의 분석에 관한 연구 | - |
dc.title.alternative | A study on petri net-based analysis of object-oriented design for real-time systems | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 109106/325007 | - |
dc.description.department | 한국과학기술원 : 정보및통신공학과, | - |
dc.identifier.uid | 000947580 | - |
dc.contributor.localauthor | 배두환 | - |
dc.contributor.localauthor | Bae, Doo-Hwan | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.