| |
| 1998 | ||
|---|---|---|
| 2 | EE | Judith Crow, Ben L. Di Vito: Formalizing Space Shuttle Software Requirements: Four Case Studies. ACM Trans. Softw. Eng. Methodol. 7(3): 296-332 (1998) |
| 1991 | ||
| 1 | Judith Crow, John M. Rushby: Model-Based Reconfiguration: Toward an Integration with Diagnosis. AAAI 1991: 836-841 | |
| 1 | John M. Rushby | [1] |
| 2 | Ben L. Di Vito | [2] |