Showing results 1 to 3 of 3
Experimental analysis of specification language diversity impact on NPP software diversity Yoo, CS; Seong, Poong-Hyun, JOURNAL OF SYSTEMS AND SOFTWARE, v.62, no.2, pp.111 - 122, 2002-05 |
Experimental analysis of specification language diversity impact on NPP software diversity = 명세언어의 다양화가 원전 소프트웨어의 다양성에 미치는 영향에 대한 실험적 분석link Yoo, Chang-Sik; 유창식; et al, 한국과학기술원, 1999 |
Weakest precondition 분석을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출 = Detection of common mode failures in N-version software using weakest precondition analysislink 윤광식; Yoon, Gwang-Sik; et al, 한국과학기술원, 1997 |
Discover