| |
| 2004 | ||
|---|---|---|
| 2 | 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 |
| 1 | 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 | |
| 1 | Seo Ryong Koo | [1] [2] |
| 2 | Poong-Hyun Seong | [1] [2] |