C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.
Jianan Hao
Yang Liu
Wentong Cai
Guangdong Bai
Jun Sun
Published in:
ICFEM (2013)
Keyphrases
</>
lightweight
complex systems
databases
management system
modeling method
modeling framework
neural network
information retrieval
information systems
distributed systems
formal model
formal methods
mathematical theory
dynamic aspects
data driven approaches