Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B.
Anton TarasyukElena TroubitsynaLinas LaibinisPublished in: IFM (2012)
Keyphrases
- formal methods
- probabilistic model
- formal analysis
- neural network
- bayesian networks
- model checking
- formal model
- artificial intelligence
- data driven
- probabilistic reasoning
- formal specification
- uncertain data
- temporal events
- data sets
- temporal patterns
- posterior probability
- conditional probabilities
- generative model
- probability distribution
- video sequences