|
Search the dblp DataBase
Hye Yeon Kim:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability. [Citation Graph (0, 0)][DBLP] Component-Based Software Quality, 2003, pp:259-286 [Conf]
- Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou
A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. [Citation Graph (0, 0)][DBLP] PRDC, 2001, pp:311-318 [Conf]
- Hye Yeon Kim, Frederick T. Sheldon
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System. [Citation Graph (0, 0)][DBLP] Software Quality Journal, 2004, v:12, n:3, pp:231-264 [Journal]
Search in 0.002secs, Finished in 0.002secs
|