[IEEE 2017 IEEE Aerospace Conference - Big Sky, MT, USA (2017.3.4-2017.3.11)] 2017 IEEE Aerospace Conference - Formal specification and analysis approaches for spacecraft attitude control requirements
Gross, Kerianne H.Year:
2017
Language:
english
DOI:
10.1109/AERO.2017.7943573
File:
PDF, 443 KB
english, 2017