| |
| 1999 | ||
|---|---|---|
| 1 | EE | Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae: Safety Verification of Ada95 Programs Using Software Fault Trees. SAFECOMP 1999: 226-238 |
| 1 | Doo-Hwan Bae | [1] |
| 2 | Sung Deok Cha | [1] |
| 3 | Yong Rae Kwon | [1] |
| 4 | Sang-Yoon Min | [1] |