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: Pereverzeva:Inna
Contributed to:
2014
2012Wrote 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.