JPL Technical Report Server

Automated Constraint Checking of Spacecraft Command Sequences

Show simple item record

dc.contributor.author Horvath, J. C. en_US
dc.contributor.author Alkalaj, L. J. en_US
dc.contributor.author Schneider, K. M. en_US
dc.contributor.author Spitale, J. M. en_US
dc.contributor.author Le, D. en_US
dc.date.accessioned 2004-10-04T23:09:37Z
dc.date.available 2004-10-04T23:09:37Z
dc.date.issued 1994--April en_US
dc.identifier.citation Baltimore, Maryland, USA en_US
dc.identifier.clearanceno 94-0388 en_US
dc.identifier.uri http://hdl.handle.net/2014/32639
dc.description.abstract Robotic Spacecraft are controlled by onboard sets of commands called en_US
dc.format.extent 836601 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other robotic spacecraft languages SAVE system TOPEX/Poseidon spacecraft. en_US
dc.title Automated Constraint Checking of Spacecraft Command Sequences en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account