학위논문(박사) - 한국과학기술원 : 전기및전자공학전공, 2005.2, [ xii, 109 p. ]
Asynchronous; Model checking; Formal verification; Reachability analysis; 상태 도달 분석; 비동기; 모델 확인; 형식 검증
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.