Formal Verification of System States for Spacecraft Automatic Maneuvering

Bibliographische Detailangaben

Veröffentlicht in:	AIAA SciTech Forum and Exposition (2019 : San Diego, Calif.) Intelligent systems ; Volume 2 of 2
1. Verfasser:	Hobbs, Kerianne L. (VerfasserIn)
Weitere Verfasser:	Perez, Ivan (VerfasserIn), Fifarek, Aaron (VerfasserIn), Feron, Eric M. (VerfasserIn)
Pages:	2
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2019
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!