| |
| 2006 | ||
|---|---|---|
| 2 | EE | Robyn R. Lutz, Ann Patterson-Hine, Anupa Bajwa: Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems. ISSRE 2006: 213-220 |
| 2004 | ||
| 1 | Edward Balaban, William A. Maul, Adam Sweet, Christopher E. Fulton, Anupa Bajwa, Amy Chicatelli: Transient Region Coverage in the Propulsion IVHM Technology Experiment. IC-AI 2004: 612-618 | |
| 1 | Edward Balaban | [1] |
| 2 | Amy Chicatelli | [1] |
| 3 | Christopher E. Fulton | [1] |
| 4 | Robyn R. Lutz | [2] |
| 5 | William A. Maul | [1] |
| 6 | Ann Patterson-Hine | [2] |
| 7 | Adam Sweet | [1] |