- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| 2 |      | 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 |
| 1 |  | Frederick T. Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou: A Review of Some Rigorous Software Design and Analysis Tools. Software Focus 2(4): 140-150 (2001) |
| 1 | Hye Yeon Kim | [2] |
| 2 | Orest Pilskalns | [1] |
| 3 | Frederick T. Sheldon | [1] [2] |
| 4 | Gaoyan Xie | [1] |