Results 121-128 of 128 (Search time: 0.005 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
Evaluation of Fault Coverage for Digitalized System in Nuclear Power Plant using VHDL Kim, Suk Joon; Kim, Man Cheol; Seong, Poong-Hyun, The 14th IEEE International Symposium on Software Reliability Engineering, 2003-11 | |
A Comparison Between Fault Tree Analysis and Reliability Graph with General Gates Kim, Man Cheol; Seong, Poong-Hyun; Jung, Woo Shik, 한국원자력학회 2004 추계학술발표대회, 한국원자력학회, 2004-10 | |
Reliability Estimation of Nuclear Digital I&C System using Software Functional Block Diagram and Control Flow Choi, Jong Gyun; Kang, Hyun Gook; Seong, Tae Yong; Seong, Poong-Hyun, International Symposium on Software Reliability Engineering 2000 (ISSRE2000), 2000-10 | |
Development of a verification method for timed function blocks using ESDT and SMV Song, M.J.; Koo, S.R.; Seong, Poong-Hyun, Proceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering, pp.285 - 286, HASE'04, 2004-03-25 | |
Testability of Safety Software Based on Specification in Statechart Sohn, Se-do; Seong, Poong-Hyun; Kim, Hang-bae; Han, Heehwan, International Conference on Nuclear Technology: Achieving Global Economic Growth While Safeguarding the Environment, pp.199, International Conference on Nuclear Technology, 2003-11-16 | |
Development of an integrated decision support system to aid the cognitive activities of operators in main control rooms of nuclear power plants Lee, S.J.; Mo, K.; Seong, Poong-Hyun, 1st IEEE Symposium of Computational Intelligence in Multicriteria Decision Making, MCDM 2007, pp.146 - 152, 123, 2007-04-01 | |
Experimental effect estimation of an integrated decision support system to aid operator's cognitive activities for nuclear power plants Lee, S.J.; Seong, Poong-Hyun, 12th International Conference on Human-Computer Interaction, 2007, pp.620 - 628, 123, 2007-07-22 | |
Software design specification and analysis technique for the safety critical software based on Programmable Logic Controller (PLC) Koo, S.R.; Seong, Poong-Hyun; Cha, Sungdeok, Proceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering, pp.283 - 284, IEEE, 2004-03-25 |