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

Тип публикация:

Conference Proceedings

Автори:

Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis

Източник:

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

видяно 8369 пъти
Google Scholar
DOI
RTF
EndNote XML

Последно обновяване: вторник, 04 April 2017