BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
Collaborated with:
E.Troubitsyna L.Laibinis
Talks about:
probabilist (2) model (2) event (2) toward (1) system (1) servic (1) orient (1) formal (1) verif (1)

Person: Anton Tarasyuk

DBLP DBLP: Tarasyuk:Anton

Contributed to:

IFM 20122012
IFM 20102010

Wrote 2 papers:

IFM-2012-TarasyukTL #formal method #modelling #probability #verification
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B (AT, ET, LL), pp. 237–252.
IFM-2010-TarasyukTL #modelling #probability #towards
Towards Probabilistic Modelling in Event-B (AT, ET, LL), pp. 275–289.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.