Suggestions for progress in software analysis, synthesis and certification.

Luqi Joseph A. Goguen

Published in: SEKE (1994)

Keyphrases

statistical analysis
data analysis
real time
decision making
analysis tool
structural analysis
data sets
machine learning
static analysis