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

Cached

Download Links

by Allan I. S. Mcinnes
Citations:2 - 0 self