Modeling and Formal Analysis of a Client-Server Application for Cloud Services.

Paolo Arcaini Roxana-Maria Holom Elvinia Riccobene

Published in: WS-FM (2015)

Keyphrases

client server
formal analysis
client server databases
mobile agents
visual basic
peer to peer
distributed databases
application programming interface
data model
database
cloud computing
management system
software engineering
computing environments
database server
cloud services