Search

Start a new search
Current filters:
Add filters:
  • Results/Page
  • Sort items by
  • In order
  • Authors/record

Results 51-60 of 270 (Search time: 0.006 seconds).

NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
51
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

52
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

53
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

54
Software Error Masking Effect on Hardware Faults

Choi, Jong Gyun; Seong, Poong-Hyun, 한국원자력학회 '99 춘계 학술발표회, pp.199 -, 한국원자력학회, 1999-05

55
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

56
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

57
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

58
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

59
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

60
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

rss_1.0 rss_2.0 atom_1.0