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 × Italy
1 × Sweden
Collaborated with:
L.Laibinis E.Troubitsyna B.Byholm K.E.Tan I.Porres
Talks about:
event (3) resili (2) discret (1) develop (1) orient (1) integr (1) formal (1) analys (1) store (1) simul (1)

Person: Inna Pereverzeva

DBLP DBLP: Pereverzeva:Inna

Contributed to:

IFM 20142014
Ada-Europe 20122012

Wrote 2 papers:

IFM-2014-LaibinisBPTTP #in the cloud #modelling #simulation
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (LL, BB, IP, ET, KET, IP), pp. 103–119.
AdaEurope-2012-PereverzevaTL #development
Formal Goal-Oriented Development of Resilient MAS in Event-B (IP, ET, LL), pp. 147–161.

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.