Results 41-50 of 173 (Search time: 0.006 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram Jee, Eunk Young; Jeon, Seungjae; Cha, Sungdeok; Koh, Kwangyong; Yoo, Junbeom; Park, Geeyong; Seong, Poong-Hyun, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.42, no.3, pp.171 - 188, 2010-08 | |
A human-machine interface evaluation method: A difficulty evaluation method in information searching (DEMIS) Ha, Jun Su; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.94, no.10, pp.1557 - 1567, 2009-10 | |
A model for estimation of reactor spurious shutdown rate considering maintenance human errors in reactor protection system of nuclear power plants Khalaquzzman, Mohammad; Kang, Hyun-Gook; Kim, Man-Cheol; Seong, Poong-Hyun, NUCLEAR ENGINEERING AND DESIGN, v.240, no.10, pp.2963 - 2971, 2010-10 | |
Information theoretic approach to man-machine interface complexity evaluation Kang, Hyun Gook; Seong, Poong-Hyun, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, v.31, no.3, pp.163 - 171, 2001-05 | |
Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields Koo, Seo Ryong; Son, Han Seong; Seong, Poong-Hyun; Yoo, Junbeom; Cha, Sungdeok; Son, Dae Sung; Choi, Seong Soo, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.86, no.1, pp.73 - 74, 2002-06 | |
Development of a qualitative evaluation framework for performance shaping factors (PSFs) in advanced MCR HRA Lee, Seung-Woo; Kim, Ar-Ryum; Ha, Jun-Su; Seong, Poong-Hyun, ANNALS OF NUCLEAR ENERGY, v.38, no.8, pp.1751 - 1759, 2011-08 | |
Optimization of the worth shape of axially variable strength control rods with simulation optimization methodology for the power maneuvering of pressurized water reactors Kim, US; Seong, Poong-Hyun, NUCLEAR ENGINEERING AND DESIGN, v.225, no.1, pp.27 - 35, 2003-10 | |
Optimization of the Worth shape of axially variable strength control rods for the power maneuvering of PWRs Kim, U.-S.; Lee, U.-C.; Seong, Poong-Hyun, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.88, no.1, pp.27 - 27, 2003 | |
An integrated knowledge base development tool for knowledge acquisition and verification for NPP dynamic alarm processing systems Park, JH; Seong, Poong-Hyun, ANNALS OF NUCLEAR ENERGY, v.29, no.4, pp.447 - 463, 2002-03 | |
APPLICATION OF A POWER-PLANT SIMPLIFICATION METHODOLOGY - THE EXAMPLE OF THE CONDENSATE FEEDWATER SYSTEM Seong, Poong-Hyun; MANNO, VP; GOLAY, MW, NUCLEAR ENGINEERING AND DESIGN, v.110, no.1, pp.33 - 46, 1988-12 |
Discover