DEVS-based framework for logical and performance analysis of discrete event systemsDEVS 형식론에 근거한 이산 사건 시스템의 성능 분석 및 논리적 분석을 위한 틀
- Advisors
- Kim, Tag-Gonresearcher; 김탁곤researcher
- Description
- 한국과학기술원 : 전기및전자공학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1997
- Identifier
- 114139/325007 / 000925397
- Language
- eng
- Description
학위논문(박사) - 한국과학기술원 : 전기및전자공학과, 1997.2, [ viii, 118 p. ]
- Keywords
Model projection; Temporal logic; Performance analysis; Logical analysis; DEVS formalism; Verification; 검증; 모델 간략화; 시간 논리; 성능 분석; 논리적 분석; DEVS 형식론
- 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.