| |
| 2001 | ||
|---|---|---|
| 2 | EE | 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] |