Conference
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.
Authors
Laibinis L; Byholm B; Pereverzeva I; Troubitsyna E; Tan KE; Porres I
Editors
Albert E; Sekerinski E
Series
Lecture Notes in Computer Science
Volume
8739
Pagination
pp. 103-119
Publisher
Springer
Publication Date
January 1, 2014
ISBN-13
978-3-319-10180-4
Conference proceedings
IFM