![]() | ![]() |
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] |