Showing results 6 to 8 of 8
PROCEDURE FOR APPLICATION OF SOFTWARE RELIABILITY GROWTH MODELS TO NPP PSA Son, Han Seong; Kang, Hyun Gook; Chang, Seung Cheol, NUCLEAR ENGINEERING AND TECHNOLOGY, v.41, no.8, pp.1065 - 1072, 2009-10 |
Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields Koo, Seo Ryong; Son, Han Seong; Seong, Poong-Hyun; 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 |
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 Gook, ANNALS OF NUCLEAR ENERGY, v.51, pp.38 - 49, 2013-01 |
Discover