Showing results 1 to 3 of 3
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification Koo, SR; Seong, Poong-Hyun; Yoo, J; Cha, Sungdeok; Yoo, YJ, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.89, no.3, pp.248 - 260, 2005-09 |
Combining conditional log-linear structures Fienberg, SE; Kim, Sung-Ho, JOURNAL OF THE AMERICAN STATISTICAL ASSOCIATION, v.94, no.445, pp.229 - 239, 1999-03 |
Development of a traceability analysis method based on case grammar for NPP requirement documents written in Korean language = 격문법에 기반한 한글로 작성된 원전 설계문서의 추적성 분석 방법 개발link Yoo, Yeong-Jae; 유영제; et al, 한국과학기술원, 2003 |
Discover