DEVS-based framework for logical and performance analysis of discrete event systemsDEVS 형식론에 근거한 이산 사건 시스템의 성능 분석 및 논리적 분석을 위한 틀
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Kim, Tag-Gon | - |
| dc.contributor.advisor | 김탁곤 | - |
| dc.contributor.author | Hong, Gyung-Pyo | - |
| dc.contributor.author | 홍경표 | - |
| dc.date.accessioned | 2011-12-14 | - |
| dc.date.available | 2011-12-14 | - |
| dc.date.issued | 1997 | - |
| dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=114139&flag=dissertation | - |
| dc.identifier.uri | http://hdl.handle.net/10203/36380 | - |
| dc.description | 학위논문(박사) - 한국과학기술원 : 전기및전자공학과, 1997.2, [ viii, 118 p. ] | - |
| dc.language | eng | - |
| dc.publisher | 한국과학기술원 | - |
| dc.subject | Model projection | - |
| dc.subject | Temporal logic | - |
| dc.subject | Performance analysis | - |
| dc.subject | Logical analysis | - |
| dc.subject | DEVS formalism | - |
| dc.subject | Verification | - |
| dc.subject | 검증 | - |
| dc.subject | 모델 간략화 | - |
| dc.subject | 시간 논리 | - |
| dc.subject | 성능 분석 | - |
| dc.subject | 논리적 분석 | - |
| dc.subject | DEVS 형식론 | - |
| dc.title | DEVS-based framework for logical and performance analysis of discrete event systems | - |
| dc.title.alternative | DEVS 형식론에 근거한 이산 사건 시스템의 성능 분석 및 논리적 분석을 위한 틀 | - |
| dc.type | Thesis(Ph.D) | - |
| dc.identifier.CNRN | 114139/325007 | - |
| dc.description.department | 한국과학기술원 : 전기및전자공학과, | - |
| dc.identifier.uid | 000925397 | - |
| dc.contributor.localauthor | Kim, Tag-Gon | - |
| dc.contributor.localauthor | 김탁곤 | - |
- Appears in Collection
- EE-Theses_Ph.D.(박사논문)
- 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.