Slicing Communicating Automata Specifications for Efficient Model Reduction.
Sébastien LabbéJean-Pierre GalloisMarc PouzetPublished in: ASWEC (2007)
Keyphrases
- mathematical model
- probabilistic model
- computational model
- finite state machines
- formal model
- statistical model
- parameter estimation
- theoretical framework
- cellular automata
- high level
- management system
- input data
- data sets
- prior knowledge
- artificial neural networks
- experimental data
- conceptual model
- machine learning