Implementation and Static Verification Methodology of Discrete Event Simulation Software based on the DEVS Diagram: A Practical Approach (DEVS 다이어그램 기반 이산사건 시뮬레이션 소프트웨어 구현 및 정적 검증기법: 실용적 접근방법)
-
- Journal of the Korea Society for Simulation
- /
- v.27 no.3
- /
- pp.23-36
- /
- 2018