Formal Modelling of Resilient Data Storage in Cloud

Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Inna Vistbakka

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

OriginalspråkOdefinierat/okänt
Titel på gästpublikationICFEM 2013: Formal Methods and Software Engineering
RedaktörerL Groves, J Sun
FörlagSpringer
Sidor
ISBN (elektroniskt)978-3-642-41202-8
ISBN (tryckt)978-3-642-41201-1
DOI
StatusPublicerad - 2013
MoE-publikationstypA4 Artikel i en konferenspublikation
Evenemangconference -
Varaktighet: 1 jan 2013 → …

Konferens

Konferensconference
Period01/01/13 → …

Citera det här