Works matching Deep Space 1 Is Launched

Formal Analysis of a Space-Craft Controller Using SPIN.

Published in:

IEEE Transactions on Software Engineering, 2001, v. 27, n. 8, p. 749, doi. 10.1109/32.940728

By:

• Havelund, Klaus;
• Lowry, Mike;
• Penix, John

Publication type:

Article