Modeling and Reasoning Event-B Models Based on Mathematica.
Guoteng PanMengjun LiGuodong OuPublished in: Internetware (2019)
Keyphrases
- formal models
- modeling framework
- modeling method
- event detection
- computational modeling
- stochastic models
- modeling tool
- statistical models
- probabilistic model
- knowledge base
- statistical model
- complex systems
- mathematical modeling
- hybrid models
- model construction
- prior knowledge
- reasoning systems
- model driven
- model validation
- data mining
- hybrid model
- computational models
- model selection
- decision making