From StPowla processes to SRML models.

Laura Bocchi Stephen Gorton Stephan Reiff-Marganiec

Published in: Formal Aspects Comput. (2010)

Keyphrases

probabilistic model
process model
statistical models
real time
modeling framework
expert systems
experimental data
prediction model
qualitative models
autoregressive
mathematical models
computational models
neural network model
petri net
complex systems
data structure
training data