Search

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

Results 1-10 of 270 (Search time: 0.008 seconds).

NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
1
Development of Software Test Case Generator for Nuclear Plant I&C System Software

Son, Han S.; Seong, Poong-Hyun, The 1996 ANS International Topical Meeting on Nuclear I&C and Human-Machine Interface Technology, 1996-05

2
Automatic Fault Diagnosis Method for Resistive network Using Multiple Excitations

Kim, Dae S.; Seong, Poong-Hyun, Proc. of the Korean Nuclear Society Spring Meeting, 1995-05

3
Prediction of Software Operational Reliability Using Testing Environment Factors

Jung, Hoan S.; Seong, Poong-Hyun, Proc. of the Korean Nuclear Society, 1995-05

4
A Formal Safety Analysis for PLC Software-Based Safety Critical System using Z

Koh, Jung Soo; Seong, Poong-Hyun; Son, Han Seong, 한국원자력학회 '97 춘계 학술발표회, pp.153 - 158, 한국원자력학회, 1997-05

5
Nuclear Power Plant Pressurizer Fault Diagnosis Using fuzzy Signed Diagraph Method

Park, Joo Hyun; Seong, Poong-Hyun, International Topical Meeting on Nuclear Thermal Hydraulics, Operation and Safety, 1994-04

6
Dependability Estimation of Digital System by Operational Profile-Based Fault Injection

Choi, Jong Gyun; Seong, Poong-Hyun, International Topical Meeting on PSA '99, pp.499 - 506, 1999-08

7
A Software Evaluation Method Based on Fuzzy Colored Petri Nets

Son, Han Seong; Seong, Poong-Hyun, FUZZ-IEEE '99, 1999-08

8
An Information Theory Based Complexity Evaluation Approach and Example for Advanced Alarm Processing System

Kang, Hyun Gook; Seong, Poong-Hyun, 한국원자력학회 '98 추계 학술발표회, pp.75 - 75, 한국원자력학회, 1998-10

9
Development of An In-pipe Inspection Robot in Nuclear Power Plants

Seong, Poong H.; Seong, Poong-Hyun, The Eighth KAIF/KNS/OKAEA Joint International Annual Conference, 1993-04

10
Simplification of Nuclear Power Station Designs

Golay, MW; Manno, VP; Seong, Poong-Hyun, U.S. NRC Light Water Reactor Safety Conference, 1987

rss_1.0 rss_2.0 atom_1.0