Design and Validation of Cloud Storage Systems Using Formal Methods.

Peter Csaba Ölveczky

Published in: TTCS (2017)

Keyphrases

formal methods
storage systems
knowledge based systems
artificial intelligence
development lifecycle
case study
cloud computing
design process
database systems
sensor networks
data management
back end
formal specification language