Results 51-60 of 270 (Search time: 0.006 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
A Method of Formal Requirement Analysis for NPP I&C Systems Based on Object-Oriented UML Modeling with Software Cost Reduction Koo, Seo Ryong; Son, Han Seong; Seong, Poong-Hyun, International Topical Meeting on Nuclear Plant Instrumentation, Controls, and Human-Machine Interface Technologies (NPIC&HMIT 2000), 2000-11 | |
Development of Axially Variable Strength Control Rods For The Power Maneuvering of PWRs Kim, Ung-Soo; Seong, Poong-Hyun, International Conference on the New Frontiers of Nuclear Technology: Reactor Physics, Safety and High-Performance Computing, pp.271 - 271, 2002-10 | |
Software safety evaluation method based on fuzzy colored Petri nets Son, Hanseong; Seong, Poong-Hyun, Proceedings of the 1999 IEEE International Fuzzy Systems Conference, FUZZ-IEEE'99, v.2, 1999-08-22 | |
Software Error Masking Effect on Hardware Faults Choi, Jong Gyun; Seong, Poong-Hyun, 한국원자력학회 '99 춘계 학술발표회, pp.199 -, 한국원자력학회, 1999-05 | |
An Application of the Discrete Function Theory and the Software Control Flow to Dependability Assessment of Embedded Digital Systems Choi, Jong Gyun; Seong, Poong-Hyun, International Symposium on Software Reliability Engineering, pp.163 - 173, 2001-11 | |
Effective and formal design analysis technique for the development of safety critical software based on programmable logic controller (PLC) Koo, S.R.; Seong, Poong-Hyun, American Nuclear Society 4th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technology, pp.545 - 552, 2004-09-19 | |
A neural networks based operation guidance system for procedure presentation and validation Mo, K.; Lee, S.J.; Seong, Poong-Hyun, 5th International Topical Meeting on Nuclear Plant Instrumentation Controls, and Human Machine Interface Technology (NPIC and HMIT 2006), pp.1202 - 1208, 2006-11-12 | |
Optimization of the Axially Variable Strength Control Rods with Simulation Optimization for the Power Maneuvering for Pressurized Water Reactor Kim, Ung Soo; Seong, Poong-Hyun, 한국원자력학회 2002 추계학술발표회, pp.81 - 81, 한국원자력학회, 2002-10 | |
A Methodology for Quantitative Evaluation of NPP Fault Diagnostic Systems' Dynamic Aspects Kim, Jong Hyun; Seong, Poong-Hyun, IAEA Specialists' Meeting on Human-Machine Interface for Off Normal and Emergency Situations in NPP, 1999-10 | |
An Intuitive and Practical Method for Reliability Analysis of Complex Systems Kim, Man Cheol; Seong, Poong-Hyun, International Symposium on Software Reliability Engineering (ISSRE), pp.SP145 - SP146, 2002-11 |
Discover