| |
| 2008 | ||
|---|---|---|
| 2 | EE | Elisabeth A. Nguyen, William S. Greenwell, Myron Hecht: Using an assurance case to support independent assessment of the transition to a new GPS ground control system. DSN 2008: 102-107 |
| 1 | EE | Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319 |
| 1 | William S. Greenwell | [2] |
| 2 | Myron Hecht | [2] |
| 3 | John C. Knight | [1] |
| 4 | Westley Weimer | [1] |
| 5 | Xiang Yin | [1] |