Showing results 1 to 4 of 4
A quantitative study on risk issues in safety feature control system design in digitalized nuclear power plant Kang, Hyun Gook; Jang, Seung-Cheol, JOURNAL OF NUCLEAR SCIENCE AND TECHNOLOGY, v.45, no.8, pp.850 - 858, 2008-08 |
Fault-tree-based risk assessment for dynamic condition changes Kang, Hyun Gook; Jang, Seung-Cheol, NUCLEAR ENGINEERING AND TECHNOLOGY, v.39, no.2, pp.123 - 128, 2007-04 |
Testing digital safety system software with a testability measure based on a software fault tree Sohn, SD; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.91, no.1, pp.44 - 52, 2006-01 |
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12 |
Discover