dblp.uni-trier.dewww.uni-trier.de

Hye Yeon Kim

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
3EEHye 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
2EEHye 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
1EEFrederick 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)