| |
| 2003 | ||
|---|---|---|
| 2 | EE | Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis: Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. SAFECOMP 2003: 317-330 |
| 2001 | ||
| 1 | EE | John C. Knight, Kimberly S. Hanks, Sean R. Travis: Tool Support for Production Use of Formal Techniques. ISSRE 2001: 242-253 |
| 1 | Kimberly S. Hanks | [1] |
| 2 | John C. Knight | [1] [2] |
| 3 | Elisabeth A. Strunk | [2] |
| 4 | Kimberly S. Wasson | [2] |