Browse "NE-Journal Papers(저널논문)" by Author Son, Han Seong

Showing results 1 to 8 of 8

1
A Quantitative Evaluation of Chemical and Volume control System Design Simplification

Son, Han Seong; Seong, Poong Hyun, NUCLEAR ENGINEERING AND TECHNOLOGY , v.27, no.5, pp.753 - 759, 1995-10

2
Development of Digital Online Active Test Plant Protection System

Koo, Seo Ryong; Seong, Poong-Hyunresearcher; Son, Han Seong, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.85, pp.399 - 400, 2001-11

3
Formal Safety Analysis for PLC Software-Based Safety Critical System Using Z

Koh, Jung Soo; Seong, Poong-Hyunresearcher; Son, Han Seong, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.70, pp.314 - 315, 1997

4
Mathematical Verification of a Nuclear Power Plant Protection System Function with Combined CPN and PVS

Koo, Seo Ryong; Son, Han Seong; Seong, Poong Hyunresearcher, NUCLEAR ENGINEERING AND TECHNOLOGY , v.31, no.2, pp.157 - 171, 1999-04

5
Mathematical Verification of an NPP Protection System Function with Combined CPN and PVS

Son, Han Seong; Seong, Poong-Hyunresearcher, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.79, pp.247 - 249, 1998-11

6
PROCEDURE FOR APPLICATION OF SOFTWARE RELIABILITY GROWTH MODELS TO NPP PSA

Son, Han Seong; Kang, Hyun Gookresearcher; Chang, Seung Cheol, NUCLEAR ENGINEERING AND TECHNOLOGY, v.41, no.8, pp.1065 - 1072, 2009-10

7
Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields

Koo, Seo Ryong; Son, Han Seong; Seong, Poong-Hyunresearcher; Yoo, Junbeom; Cha, Sungdeok; Son, Dae Sung; Choi, Seong Soo, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.86, no.1, pp.73 - 74, 2002-06

8
V&V-based remaining fault estimation model for safety-critical software of a nuclear power plant

Eom, Heung-seop; Park, Gee-yong; Jang, Seung-cheol; Son, Han Seong; Kang, Hyun Gookresearcher, ANNALS OF NUCLEAR ENERGY, v.51, pp.38 - 49, 2013-01

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0