A Formal Approach to Specifying and Verifying Spacecraft Behavior (2007)

Cached

Download Links

by Allan I. S. Mcinnes
Citations:3 - 1 self