About KOASAS KAIST Library
학위논문(석사) - 한국과학기술원 : 전산학전공, 2003.2, [ vii, 53 p. ]
정형 기법; 실시간 검증; 모델 체킹; 스테이트차트; Statecharts; Formal Methods; Real-time Verification; Model Checking
Display Full Item Record
트윗하기
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
rss_1.0 rss_2.0 atom_1.0