Evaluating Data Integrity in the Cloud using the UPPAAL.

Sachi Nishida Yoshiyuki Shinkawa

Published in: ICSOFT-EA (2016)

Keyphrases

data integrity
distributed databases
database design
data storage
database systems
database
cloud computing
database administration
client server
databases
database administrators
database management
active databases
model checking
database management systems
controller synthesis
stored procedures