| 111 | A Methodology for Improving the SIS-RT in Analyzing the Traceability of the Documents written in Korean Language You, Yeong Jae; Kim, Man Cheol; Seong, Poong-Hyun, 한국원자력학회 2002 춘계학술발표회, pp.86 - 86, 한국원자력학회, 2002-05 |
| 112 | An Integrated Method for Measuring the Complexity of Diagnosis Tasks in Advanced Control Rooms of Nuclear Power Plants Kim, Jong Hyun; Seong, Poong-Hyun; Kang, Hyun Gook, 10th International Conference on Human-Computer Interaction (HCII 2003), 2003-06 |
| 113 | Preliminary Risk Assessments for On-site Spent Nuclear Fuel(SNF) Transportation in Wolsong NPPs Kim, Jae San; Ha, Jun Su; Seong, Poong-Hyun, 한국원자력학회 2006 춘계학술발표대회, 한국원자력학회, 2006-05-25 |
| 114 | Preliminary Risk Assessment for On-site Spent Nuclear Fuel Transportation in Kori-site Seong, Poong-Hyun; Ha, Jun Su; Kim, Jae San, Proceedings of International Symposium on Radiation Safety Management, 2005 |
| 115 | Estimation of reliability on digital plant protection system in nuclear power plants using fault simulation with self-checking Lee, Jun Seok; Kim, Suk Joon; Seong, Poong-Hyun, NUTHOS-6, 2004-10 |
| 116 | Formal Verification Method for Nuclear I&C Systems using ESDT and SMV in the Software Design Phase Song, Myung Jun; Koo, Seo Ryong; Seong, Poong-Hyun, NUTHOS-6, 2004-10 |
| 117 | Fault Tree-based Software Safety Analysis of Function Block Diagrams Koh, KY; Seong, Poong-Hyun, ISSNP 2007, 2007-07-23 |
| 118 | Burden to Importance Ratio as a Quantitative measure to validate the RISC-3 SSC in OPTION-2 Ha, Jun Su; Seong, Poong-Hyun, 한국원자력학회 2004 춘계학술발표회, 한국원자력학회, 2004-05 |
| 119 | A Study on Fault Detection Coverage Estimation of Digital Plant Protection System in Nuclear Power Plants Jun Seok Lee; Man Cheol Kim; Hyun Gook Kang; Seung Cheol Jang; Seong, Poong-Hyun, ISOFIC2005, pp.263 - 269, 2005-11 |
| 120 | An Integrated Approach for Reliability Estimation of Nuclear Power Plant Digital Protection Systems: An application to Dynamic Safety System Choi, Jong Gyun; Seong, Poong-Hyun, International Seminar on Software Reliability of Man-Machine Systems, 2000-08 |
