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]
Abstract is missing.