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

Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou. A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. In 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea. pages 311-318, IEEE Computer Society, 2001. [doi]

Authors

Frederick T. Sheldon

This author has not been identified. Look up 'Frederick T. Sheldon' in Google

Hye Yeon Kim

This author has not been identified. Look up 'Hye Yeon Kim' in Google

Zhihe Zhou

This author has not been identified. Look up 'Zhihe Zhou' in Google