Biblio

Export 1 results:
Filters: Author is Anton Tarasyuk  [Clear All Filters]
2012
Tarasyuk, Anton, Elena Troubitsyna, and Linas Laibinis. Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B In Proceedings of the International Conference on Integrated Formal Methods, IFM 2012., 2012.