Towards Probabilistic Modelling in Event-B.

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis

Browse the full IFM paper archive.