Verification of Nasa Emergent Systems.

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

Published in: AIAI (2004)

Keyphrases

complex systems
database
expert systems
search engine
evolutionary algorithm
formal methods
multimodal biometrics