학위논문(석사) - 한국과학기술원 : 원자력및양자공학과, 2006.2, [ vii, 63 p. ]
Fault tree analysis; SMV model; Software requirements; Safety analaysis; Model checking; 모델 체킹; 고장수목 분석; SMV 모델; 소프트웨어 요구사항; 안전성 분석
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.