![](/img/cover-not-exists.png)
[American Institute of Aeronautics and Astronautics AIAA SPACE 2009 Conference & Exposition - Pasadena, California ()] AIAA SPACE 2009 Conference & Exposition - A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker
Horvath, Gregory, Jones, Grailing, Joshi, RajeevYear:
2009
Language:
english
DOI:
10.2514/6.2009-6594
File:
PDF, 541 KB
english, 2009