2007 |
3 | EE | 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 |
2 | EE | 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 |
1 | EE | 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 |