A Timed CSP Model for the Time-Triggered Language Giotto.

Yanhong Huang Yongxin Zhao Shengchao Qin Guanhua He João F. Ferreira

Published in: SEW (2012)

Keyphrases

mathematical model
statistical model
high level
formal model
prior knowledge
cost function
probabilistic model
experimental data
data sets
neural network
machine learning
probability distribution
management system
prediction model
specification language
colored petri nets