학위논문(석사) - 한국과학기술원 : 원자력및양자공학과, 2004.2, [ vii, 74 p. ]
Traceability Analysis; Symbolic Model Verifier; Function Block Diagram; verification; Software Design Specification; 소프트웨어 설계사양서; 추적성 분석; 모델 체킹; 기능 블럭 선도; 소프트웨어 검증
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.