Fingerprint
Dive into the research topics of 'Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude
Rakesh Bobba, Jon Grov, Indranil Gupta, Si Liu, José Meseguer, Peter Csaba Ölveczky, Stephen Skeirik
Research output: Chapter in Book/Report/Conference proceeding › Chapter