Automated Constraint Checking of Spacecraft Command Sequences
Robotic Spacecraft are controlled by onboard sets of commands called.
robotic spacecraft languages SAVE system TOPEX/Pos↗
Engineering topics
Schneider, K. M.
Publications and source records attributed to Schneider, K. M..