Showing results 1 to 3 of 3
Development of Digital Online Active Test Plant Protection System Koo, Seo Ryong; Seong, Poong-Hyun; Son, Han Seong, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.85, pp.399 - 400, 2001-11 |
Mathematical Verification of a Nuclear Power Plant Protection System Function with Combined CPN and PVS Koo, Seo Ryong; Son, Han Seong; Seong, Poong Hyun, NUCLEAR ENGINEERING AND TECHNOLOGY , v.31, no.2, pp.157 - 171, 1999-04 |
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 |
Discover