학위논문(석사) - 한국과학기술원 : 전산학과, 1998.2, [ ii, 63 p. ]
State abstraction; Model checking; Statecharts; Verification; Stepwise verification; 단계적 검증; 상태 추상화; 모델체킹; Statecharts; 검증
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.