[American Institute of Aeronautics and Astronautics AIAA SPACE 2015 Conference and Exposition - Pasadena, California ()] AIAA SPACE 2015 Conference and Exposition - Evaluation of Formal Methods Tools Applied to a 6U CubeSat Attitude Control System
Gross, Kerianne, Hoffman, Jonathan, Clark, Matthew, Swenson, Eric, Cobb, Richard, Whalen, Michael, Wagner, LucasLanguage:
english
DOI:
10.2514/6.2015-4529
File:
PDF, 496 KB
english