Verified component-based software in SPARK: experimental results for a missile guidance system.

Kung-Kiu Lau Zheng Wang

Published in: SIGAda (2007)

Keyphrases

real world
website
operating system
data mining
information retrieval
decision making
image processing
cooperative
evolutionary algorithm
software engineering
experimental data