[American Institute of Aeronautics and Astronautics 15th International Conference on Space Operations - Marseille, France ()] 15th International Conference on Space Operations - SPELL-fuzz : An Innovative Tool for Fully Automated Verification of SPELL Satellite Operation Procedures
Sasnauskas, Raimondas, Morelli, Gianluigi, Liolis, Konstantinos P.Language:
english
DOI:
10.2514/6.2018-2665
File:
PDF, 269 KB
english