C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification algebra for multi-tenant applications in VaaS architecture.
Kai Hu
Ji Wan
Kan Luo
Yuzhuang Xu
Zijing Cheng
Wei-Tek Tsai
Published in:
Softw. Test. Verification Reliab. (2021)
Keyphrases
</>
multi tenant
data center
software architecture
management system
real time
case study
model checking
oracle database
temporal reasoning