학위논문(석사) - 한국과학기술원 : 전기및전자공학전공, 2009.2, [ ix, 55 p. ]
Discrete Event Simulator Verification; Aspect-oriented Programming based Verification; DEVS Formalism; 이산사건 시뮬레이터 검증; 관점지향프로그래밍 기반 검증; DEVS 형식론; Discrete Event Simulator Verification; Aspect-oriented Programming based Verification; DEVS Formalism; 이산사건 시뮬레이터 검증; 관점지향프로그래밍 기반 검증; DEVS 형식론
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.