Analysis of Source-to-Target Model Transformations in QueST.

Hamid Gholizadeh Zinovy Diskin Sahar Kokaly Tom Maibaum

Published in: AMT@MoDELS (2015)

Keyphrases

statistical analysis
management system
data sets
formal model
sensitivity analysis
computational model
image analysis
mathematical model
statistical model
closed form
empirical data
probability distribution
em algorithm
model selection
decision trees
theoretical framework
neural network
bayesian framework
real time