학위논문(박사) - 한국과학기술원 : 전기및전자공학과, 1997.2, [ viii, 118 p. ]
Model projection; Temporal logic; Performance analysis; Logical analysis; DEVS formalism; Verification; 검증; 모델 간략화; 시간 논리; 성능 분석; 논리적 분석; DEVS 형식론
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.