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

Publication Type:

Conference Proceedings

Authors:

Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis

Source:

Proceedings of the International Conference on Integrated Formal Methods, IFM 2012, p.237-252 (2012)
Share/Save