| 2006 |
|---|
| 6 | 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 |
| 2005 |
|---|
| 5 | EE | Eunkyoung Jee,
Junbeom Yoo,
Sung Deok Cha:
Control and Data Flow Testing on Function Block Diagrams.
SAFECOMP 2005: 67-80 |
| 4 | EE | Junbeom Yoo,
Tai Hyo Kim,
Sung Deok Cha,
Jang-Soo Lee,
Han Seong Son:
A formal software requirements specification method for digital nuclear plant protection systems.
Journal of Systems and Software 74(1): 73-83 (2005) |
| 2004 |
|---|
| 3 | | Seo Ryong Koo,
Poong-Hyun Seong,
Junbeom Yoo,
Sung Deok Cha,
Cheong Youn,
Hyun-chul Han:
An integrated environment of S/W specification and V&V for safety-critical systems.
IASTED Conf. on Software Engineering 2004: 607-612 |
| 2 | EE | Junbeom Yoo,
Sung Deok Cha,
Han Seiong Son,
Chang Hwoi Kim,
Jang-Soo Lee:
PLC-Based Safety Critical Software Development for Nuclear Power Plants.
SAFECOMP 2004: 155-165 |
| 1 | EE | Jaemyung Cho,
Junbeom Yoo,
Sung Deok Cha:
NuEditor - A Tool Suite for Specification and Verification of NuSCR.
SERA 2004: 19-28 |
