Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B.

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis

Browse the full IFM paper archive.