NASA NTRS · 20060037854
Automated Constraint Checking of Spacecraft Command Sequences
Abstract
Robotic Spacecraft are controlled by onboard sets of commands called.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Horvath, J. C., Alkalaj, L. J., Schneider, K. M., Spitale, J. M., Le, D.. 1994-04-01. Automated Constraint Checking of Spacecraft Command Sequences. https://ntrs.nasa.gov/citations/20060037854
Cite the original work for its findings. Save a collection to share your selection of sources.