|
[TTL12]
Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis.
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B.
In Proc. 9th International Conference on Integrated Formal Methods (IFM'12), pages 237-252.
2012.
[Uses PRISM to analyse dynamic service architectures modelled in a probabilistic extension of Event-B.]
|
|
Links:
[Google]
[Google Scholar]
|