학위논문(석사) - 한국과학기술원 : 전산학전공, 2000.2, [ v, 65 p. ]
State abstraction; Model checking; Statecharts; Verification; Stepwise verification; 매크로 스텝 모델; 모듈; 모델체킹; Statecharts; 검증
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.