| |
| 2001 | ||
|---|---|---|
| 3 | EE | Gwang Sik Yoon, Yong Rae Kwon: Extending MSC for Reactive Systems. HCC 2001: 104- |
| 2 | EE | In Sang Chung, W. K. Lee, Gwang Sik Yoon, Yong Rae Kwon: Program slicing based on specification. SAC 2001: 605-609 |
| 1997 | ||
| 1 | EE | Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo: Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. APSEC 1997: 272- |
| 1 | Sung Deok Cha | [1] |
| 2 | In Sang Chung | [2] |
| 3 | Yong Rae Kwon | [1] [2] [3] |
| 4 | W. K. Lee | [2] |
| 5 | Chan Hyung Yoo | [1] |