Hye Yeon Kim

	2004
3		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		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		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

Coauthor Index

1	Kshamta Jerath	[2]
2	Frederick T. Sheldon	[1] [2] [3]
3	Zhihe Zhou	[1]