Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.
Autor: | Laibinis, Linas, Byholm, Benjamin, Pereverzeva, Inna, Troubitsyna, Elena, Eeik Tan, Kuan, Porres, Ivan |
---|---|
Zdroj: | Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings; 2014, p103-119, 17p |
Databáze: | Complementary Index |
Externí odkaz: |