시스템 추상화 수준에 따른 명세 개선 기법을 이용한 DEVS 시뮬레이터 개발Development of DEVS simulator using specification refinement at abstract levels of system
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 김탁곤 | - |
| dc.contributor.advisor | Kim, Tag-Gon | - |
| dc.contributor.author | 홍수연 | - |
| dc.contributor.author | Hong, Su-Youn | - |
| dc.date.accessioned | 2011-12-14T01:54:00Z | - |
| dc.date.available | 2011-12-14T01:54:00Z | - |
| dc.date.issued | 2004 | - |
| dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=238487&flag=dissertation | - |
| dc.identifier.uri | http://hdl.handle.net/10203/37810 | - |
| dc.description | 학위논문(석사) - 한국과학기술원 : 전기및전자공학전공, 2004.2 , [ 58 p. ] | - |
| dc.language | kor | - |
| dc.publisher | 한국과학기술원 | - |
| dc.subject | 명세 개선 기법 | - |
| dc.subject | 시스템 모델링 | - |
| dc.subject | SYSTEM MODELING | - |
| dc.subject | SPECIFICATION REFINEMENT | - |
| dc.title | 시스템 추상화 수준에 따른 명세 개선 기법을 이용한 DEVS 시뮬레이터 개발 | - |
| dc.title.alternative | Development of DEVS simulator using specification refinement at abstract levels of system | - |
| dc.type | Thesis(Master) | - |
| dc.identifier.CNRN | 238487/325007 | - |
| dc.description.department | 한국과학기술원 : 전기및전자공학전공, | - |
| dc.identifier.uid | 020023664 | - |
| dc.contributor.localauthor | 김탁곤 | - |
| dc.contributor.localauthor | Kim, Tag-Gon | - |
- Appears in Collection
- EE-Theses_Master(석사논문)
- 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.