| |
| 2004 | ||
|---|---|---|
| 3 | EE | Hye Yeon Kim, Frederick T. Sheldon: Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System. Software Quality Journal 12(3): 231-264 (2004) |
| 2003 | ||
| 2 | EE | Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon: Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability. Component-Based Software Quality 2003: 259-286 |
| 2001 | ||
| 1 | EE | Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou: A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. PRDC 2001: 311-318 |
| 1 | Kshamta Jerath | [2] |
| 2 | Frederick T. Sheldon | [1] [2] [3] |
| 3 | Zhihe Zhou | [1] |