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