Verification of NASA Emergent Systems.

Christopher A. Rouff Amy Vanderbilt Walt Truszkowski James L. Rash Michael G. Hinchey

Published in: ICECCS (2004)

Keyphrases

intelligent systems
retrieval systems
formal methods
real time
distributed systems
computer vision
face recognition
computer systems