학위논문(석사) - 한국과학기술원 : 전산학과, 2013.2, [ vi, 48 p. ]
software reliability validation; model checking; statistical model checking; safety engineering process; 소프트웨어 신뢰성 검증; 모델체킹; 통계적모델체킹; 소프트웨어 공학 프로세스; 안전필수시스템; safety critical systems
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.