All Things Considered: Inspecting Statecharts by Model Transformation.

Published in: EUROMICRO-SEAA (2006)

Keyphrases

mathematical model
computational model
probabilistic model
formal model
experimental data
neural network
management system
supply chain
case study
petri net
decision making
statistical model
machine learning
closed form
sensitivity analysis
data sets
prediction model