Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud
Publiceringsår
2014
Upphovspersoner
Linas Laibinis; Benjamin Byholm; I Pereverzeva; Elena Troubitsyna; KE Tan; Ivan Porres Paltor
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal
Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Moderpublikationens namn
Konferens
conference; 2014-09-09; 2014-09-11
Sidor
103–119
ISBN
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Nyckelord
[object Object],[object Object],[object Object]
Förlagets internationalitet
Inhemsk
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.1007/978-3-319-10181-1_7
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja