 | 2009 |
|---|
| 6 |       | Junbeom Yoo,
Eunkyoung Jee,
Sung Deok Cha:
Formal Modeling and Verification of Safety-Critical Software.
IEEE Software 26(3): 42-49 (2009) |
| 5 | | Eunkyoung Jee,
Junbeom Yoo,
Sung Deok Cha,
Doo-Hwan Bae:
A data flow-based structural testing technique for FBD programs.
Information & Software Technology 51(7): 1131-1139 (2009) |
| 2008 |
|---|
| 4 | | Junbeom Yoo,
Sung Deok Cha,
Eunkyoung Jee:
A Verification Framework for FBD Based Software in Nuclear Power Plants.
APSEC 2008: 385-392 |
| 2007 |
|---|
| 3 | | 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 |
| 2006 |
|---|
| 2 | | 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 |
| 2005 |
|---|
| 1 | | Eunkyoung Jee,
Junbeom Yoo,
Sung Deok Cha:
Control and Data Flow Testing on Function Block Diagrams.
SAFECOMP 2005: 67-80 |
