Model Synthesis from Imprecise Specifications.

Bill Mitchell Robert Thomson Paul Bristow

Published in: VVEIS (2004)

Keyphrases

computational model
probabilistic model
formal model
high level
similarity measure
experimental data
objective function
sensitivity analysis
specification language
learning algorithm
linear model
network model
simulation model
hierarchical structure
process model
theoretical analysis
management system