Showing results 6 to 12 of 12
Formal Verification Method for Nuclear I&C Systems using ESDT and SMV in the Software Design Phase Song, Myung Jun; Koo, Seo Ryong; Seong, Poong-Hyun, NUTHOS-6, 2004-10 |
Mathematical Verification of A Nuclear Power Plant Protection System Function with Combined CPN and PVS Koo, Seo Ryong; Son, Han Seong; Seong, Poong-Hyun, 한국원자력학회 '98 춘계 학술발표회, pp.315 - 320, 한국원자력학회, 1998-05 |
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 |
Software Design Analysis Technique for the Development of PLC-based Safety Critical Systems Koo, Seo Ryong; Seong, Poong-Hyun, ISOFIC2005, pp.188 - 193, 2005-11 |
Software Design Specification and Analysis (NuFDS) Approach forthe Safety Critical Software based on Programmable Logic Controller (PLC) Koo, Seo Ryong; Seong, Poong-Hyun, 한국원자력학회 2004 춘계발표회, 한국원자력학회, 2004-05 |
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 |
VERIFICATION METHOD FOR THE FBD-STYLE DESIGN SPECIFICATION USING SDT AND SMV Song, Myung Jun; Koo, Seo Ryong; Seong, Poong-Hyun, SE2004, 2004-02 |
Discover