Judith Crow

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

2 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

	1998
2		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

Coauthor Index