시스템 Morphism을 이용한 이산사건 시스템의 검증Homomorphic Verification of Hierarchical DEVS Model at Structure Level
- Publisher
- 한국시뮬레이션학회
- Issue Date
- 2000-11
- Language
- KOR
- Citation
한국 시뮬레이션 학회 '00추계학술대회, pp.11 - 15
- Citation
- The Korea Society for Simulation
- Appears in Collection
- EE-Conference Papers(학술회의논문)
- Files in This Item
- CD-19.pdf(217.29 kB)Download
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.