학위논문(석사) - 한국과학기술원 : 전산학과, 1999.2, [ ii, 62 p. ]
선형 시제 논리; 모델 체킹; 검증; 병렬 객체; 스핀; SPIN; Linear temporal logic; Model checking; Verification; Concurrent object
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.