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 proceedingChapter

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.

Engineering & Materials Science