 | 2007 |
|---|
| 5 |       | Gee-Yong Park,
Jang-Soo Lee,
Se Woo Cheon,
Kee-Choon Kwon,
Eunkyoung Jee,
Kwang Yong Koh:
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.
SAFECOMP 2007: 148-161 |
| 4 | | Horst Miedl,
Jang-Soo Lee,
Arndt Lindner,
Ernst Hoffman,
Josef Märtz,
Young-Jun Lee,
Jong-Gyun Choi,
Jang-Yeol Kim,
Kyoung-Ho Cha,
Se Woo Cheon,
Cheol-Kwon Lee,
Gee-Yong Park,
Kee-Choon Kwon:
Defense-in-Depth and Diverse Qualification of Safety-Critical Software.
SAFECOMP 2007: 258-263 |
| 2006 |
|---|
| 3 | | Eunkyoung Jee,
Seungjae Jeon,
Hojung Bang,
Sung Deok Cha,
Junbeom Yoo,
Gee-Yong Park,
Kee-Choon Kwon:
Testing of Timer Function Blocks in FBD.
APSEC 2006: 243-250 |
| 2 | | Jang-Soo Lee,
Arndt Lindner,
Jong-Gyun Choi,
Horst Miedl,
Kee-Choon Kwon:
Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.
SAFECOMP 2006: 85-98 |
| 2002 |
|---|
| 1 |  | Kee-Choon Kwon,
Jin-Hyung Kim,
Poong-Hyun Seong:
Hidden Markov model-based real-time transient identifications in nuclear power plants.
Int. J. Intell. Syst. 17(8): 791-811 (2002) |
