학위논문(석사) - 한국과학기술원 : 전기및전자공학전공, 2003.2, [ iv, 44 p. ]
abstraction; verification; formal verification; model checking; interface; 인터페이스; 추상화; 검증; 형식검증; 모델체킹
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.