Hye Yeon Kim

According to our database, Hye Yeon Kim authored at least 3 papers between 2001 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System.

Hye Yeon Kim, Frederick T. Sheldon

Softw. Qual. J., 2004

2003

Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability.

Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon

Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2001

A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance.

Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001