Login / Signup
Continual Verification of Non-Functional Properties in Cloud-Based Systems.
Radu Calinescu
Kenneth Johnson
Yasmin Rafiq
Simos Gerasimou
Gabriel Costa Silva
Stanimir N. Pehlivanov
Published in:
NiM-ALP@MoDELS (2013)
Keyphrases
</>
asynchronous circuits
complex systems
management system
cloud computing
data sets
databases
artificial intelligence
website
software engineering
computer systems
business process
web browser
automated verification