Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud
Year of publication
2014
Authors
Linas Laibinis; Benjamin Byholm; I Pereverzeva; Elena Troubitsyna; KE Tan; Ivan Porres Paltor
Organizations and authors
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Journal/Series
Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Parent publication name
Conference
conference; 2014-09-09; 2014-09-11
Pages
103–119
ISBN
Open access
Open access in the publisher’s service
No information
Self-archived
No
Other information
Fields of science
Computer and information sciences
Keywords
[object Object],[object Object],[object Object]
Internationality of the publisher
Domestic
International co-publication
No
Co-publication with a company
No
DOI
10.1007/978-3-319-10181-1_7
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes