| 2004 |
|---|
| 8 | EE | Seo Ryong Koo,
Poong-Hyun Seong,
Sung Deok Cha:
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC).
HASE 2004: 283-284 |
| 7 | EE | Myung Jun Song,
Seo Ryong Koo,
Poong-Hyun Seong:
Development of a Verification Method for Timed Function Blocks Using ESDT and SMV.
HASE 2004: 285-286 |
| 6 | | Myung Jun Song,
Seo Ryong Koo,
Poong-Hyun Seong:
Verification method for the FBD-style design specification using SDT and SMV.
IASTED Conf. on Software Engineering 2004: 206-211 |
| 5 | | 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 |
| 2003 |
|---|
| 4 | EE | Seo Ryong Koo,
Han Seong Son,
Poong-Hyun Seong:
A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction.
Journal of Systems and Software 67(3): 213-224 (2003) |
| 2002 |
|---|
| 3 | | 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) |
| 2 | EE | Chang Sik Yoo,
Poong-Hyun Seong:
Experimental analysis of specification language diversity impact on NPP software diversity.
Journal of Systems and Software 62(2): 111-122 (2002) |
| 2001 |
|---|
| 1 | | Hyun Gook Kang,
Poong-Hyun Seong:
Information theoretic approach to man-machine interface complexity evaluation.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 31(3): 163-171 (2001) |
