Verification and Validation of AI Systems that Control Deep-Space Spacecraft

Sorry, there's nothing here.

Cite this paper

@inproceedings{Lowry1997VerificationAV, title={Verification and Validation of AI Systems that Control Deep-Space Spacecraft}, author={Michael R. Lowry and Klaus Havelund and John Penix}, booktitle={ISMIS}, year={1997} }