Integrating stochastic reasoning into Event-B development.

Anton Tarasyuk Elena Troubitsyna Linas Laibinis

Published in: Formal Aspects Comput. (2015)

Keyphrases

model based reasoning
event detection
rapid development
knowledge processing
event recognition
reasoning process
monte carlo
knowledge based systems
news articles
development process
database
development environment
stochastic model
event driven
reasoning systems
expert systems
neural network