Gee-Yong Park

AN ANALYSIS OF TECHNICAL SECURITY CONTROL REQUIREMENTS FOR DIGITAL I&C SYSTEMS IN NUCLEAR POWER PLANTS

Jae-gu Song, Jungwoon Lee, Gee-Yong Park et al. · Nuclear Engineering and Technology · 2013 · 39 citations · Full text

Computing, Cybersecurity, Nuclear Engineering +17

FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram

Eunkyoung Jee, Seungjae Jeon, Kwang Yong Koh et al. · 2010 · 22 citations

Computing, Computer Engineering, Computer Science +14

Software FMEA analysis for safety-related application software

Gee-Yong Park, Donghoon Kim, Dong‐Hyung Lee · Annals of Nuclear Energy · 2014 · 19 citations

Engineering, Computer Science, Systems Engineering +13

FAULT TREE ANALYSIS OF KNICS RPS SOFTWARE

Gee-Yong Park, Kwang Yong Koh, Eunkyoung Jee et al. · Nuclear Engineering and Technology · 2008 · 15 citations · Full text

Engineering, Computer Engineering, Computer Science +10

A SOFTWARE RELIABILITY ESTIMATION METHOD TO NUCLEAR SAFETY SOFTWARE

Gee-Yong Park, Seung Cheol Jang · Nuclear Engineering and Technology · 2014 · 12 citations · Full text

Computing, Computer Science, Nuclear Engineering +17