| |
| 2007 | ||
|---|---|---|
| 4 | EE | Hojung Bang, Tai Hyo Kim, Sung Deok Cha: An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. ISORC 2007: 365-372 |
| 2006 | ||
| 3 | EE | Tai Hyo Kim, Sung Deok Cha: Timed High-Level Message Sequence Charts for Real-Time System Design. SAM 2006: 82-98 |
| 2005 | ||
| 2 | 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) |
| 2002 | ||
| 1 | EE | Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha: Construction of global finite state machine for testing task interactions written in message sequence charts. SEKE 2002: 369-376 |
| 1 | Hojung Bang | [4] |
| 2 | Sung Deok Cha | [1] [2] [3] [4] |
| 3 | Jang-Soo Lee | [2] |
| 4 | Nam Hee Lee | [1] |
| 5 | Han Seong Son | [2] |
| 6 | Junbeom Yoo | [2] |