Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud
Julkaisuvuosi
2014
Tekijät
Linas Laibinis; Benjamin Byholm; I Pereverzeva; Elena Troubitsyna; KE Tan; Ivan Porres Paltor
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti
Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Emojulkaisun nimi
Konferenssi
conference; 2014-09-09; 2014-09-11
Sivut
103–119
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kotimainen
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1007/978-3-319-10181-1_7
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä