Model transformations to satisfy all-configurations-transitions on statecharts.

Siamak Haschemi

Published in: MoDeVVa@MoDELS (2009)

Keyphrases

data sets
learning algorithm
computational model
theoretical framework
formal model
prior knowledge
statistical model
database
multiscale
probabilistic model
probability distribution
mathematical model
experimental data
prediction model