Multi-tenant Verification-as-a-Service (VaaS) in a cloud.

Kai Hu Lei Lei Wei-Tek Tsai

Published in: Simul. Model. Pract. Theory (2016)

Keyphrases

multi tenant
data center
cloud computing
workflow engine
software as a service
web services
service providers
model checking
oracle database
protocol specification
virtual machine
orders of magnitude
business process
cost effective
power consumption