Some Verification Issues at NASA Goddard Space Flight Center.

Michael G. Hinchey James L. Rash Christopher A. Rouff

Published in: VSTTE (2005)

Keyphrases

space shuttle
model checking
databases
neural network
low dimensional
key issues
higher dimensional
search engine
information technology
verification method