Login / Signup
Formal Design of Cloud Computing Systems in Maude.
José Meseguer
Published in:
SBMF (2018)
Keyphrases
</>
computing systems
design process
autonomic computing
databases
computer systems
cloud computing
real world
operating system
formal specification
computing platform
hardware design
ubiquitous computing environments
computing technologies