Search
Results 11-20 of 128 (Search time: 0.006 seconds).
| NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
|---|---|
| Development of an Automated Operating Procedure System using Fuzzy Colored Petri Nets for Nuclear Power Plants Lee, Seung Jun; Seong, Poong-Hyun, 한국원자력학회 2002 춘계학술대회, pp.95 - 95, 한국원자력학회, 2002-05 | |
| Development of an Automated Operating Procedure System using Fuzzy Coloreed Petri Nets for Nuclear Power Plants Lee, Seung Jun; Seong, Poong-Hyun, International Symposium on Future I&C for NPP, pp.249 - 256, 2002-11 | |
| Coverage Estimation of Digital Plant Protection System in a Nuclear Power Plant Lee, Jun Seok; Kim, Man Cheol; Seong, Poong-Hyun, 한국원자력학회 2004 추계학술발표대회, 한국원자력학회, 2004-10 | |
| VERIFICATION METHOD FOR THE FBD-STYLE DESIGN SPECIFICATION USING SDT AND SMV Song, Myung Jun; Koo, Seo Ryong; Seong, Poong-Hyun, SE2004, 2004-02 | |
| An Integrated Model for Reactor Control based on Discrete Function Theory Kim, Man Cheol; Seong, Poong-Hyun, International Conference on the New Frontiers of Nuclear Technology : Reactor Physics, Safety and High-Performance Computing (PHYSOR2002), pp.286 - 286, 2002-10 | |
| Safety Prediction for Basic Components of Safety-Critical Software Based on Static Testing Son, Han Seong; Seong, Poong-Hyun, International Youth Nuclear Congress 2000, 2000-04 | |
| A Neural Networks Based Operation Guidance System for Procedure Presentation and Validation Mo, Kun; Lee, Seung Jun; Seong, Poong-Hyun, 한국원자력학회 2006 춘계학술발표대회, 한국원자력학회, 2006-05-26 | |
| 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 | |
| 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 |