 | 2004 |
|---|
| 5 |       | 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 |
| 4 | | 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 |
| 3 |  | 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 |
| 2 | | 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 |
|---|
| 1 | | 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) |
