Hye Yeon Kim

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

Frederick T. Sheldon, Hye Yeon Kim, H. Kim, 2004, Software Quality Journal.

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

Frederick T. Sheldon, Kshamta Jerath, Hye Yeon Kim, 2003, Component-Based Software Quality.

A Study on Development of a Cost Optimal and Energy Saving Building Model: Focused on Industrial Building

Hye Yeon Kim, Hae Jin Kang, 2016 .

Validation of guidance control software requirements specification for reliability and fault-tolerance

Frederick T. Sheldon, Hye Yeon Kim, H. Kim, 2002, Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02CH37318).

A Computational Modeling Reflecting Static and Dynamic Characteristics of LM Bearings for Machine Tools

Hye Yeon Kim, Jong Kyu Jeong, Jong Jin Won, 2012 .