Formal Verification of System States for Spacecraft Automatic Maneuvering
AIAA Scitech 2019 Forum
01.01.2019
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Formal Verification of Maneuvering Target Tracking
AIAA | 2003
|Maneuvering of flexible spacecraft
AIAA | 1986
|