Hye Yeon Kim

Publication Activity (10 Years)

Years Active: 2001-2004
Publications (10 Years): 0

Publications

Hye Yeon Kim, Frederick T. Sheldon
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System. Softw. Qual. J. 12 (3) (2004)
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)
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)