Formal Verification of System States for Spacecraft Automatic Maneuvering
AIAA Scitech 2019 Forum
2019-01-01
Conference paper
Electronic Resource
English
Formal Verification of Maneuvering Target Tracking
AIAA | 2003
|Maneuvering of flexible spacecraft
AIAA | 1986
|