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: |
|