Formal Real-Time Model Transformations in MOMENT2.

Artur Boronat Peter Csaba Ölveczky

Published in: FASE (2010)

Keyphrases

real time
formal model
mathematical model
objective function
computational model
prior knowledge
closed form
probabilistic model
data sets
conceptual model
em algorithm
probability distribution
input data
theoretical framework
statistical model
experimental data
cost function
multiscale
case study
prediction model