Model Refinement Using Bisimulation Quotients.
Roland GlückBernhard MöllerMichel SintzoffPublished in: AMAST (2010)
Keyphrases
- artificial neural networks
- probabilistic model
- neural network
- computational model
- theoretical foundation
- experimental data
- management system
- theoretical analysis
- markov chain
- simulation model
- conceptual model
- statistical model
- mathematical model
- theoretical framework
- expert systems
- high level
- case study
- information systems
- search engine
- genetic algorithm