C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Yuchao She
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Deterministic Finite Automaton
Transition Systems
Model Checking
Formal Analysis
Top Venues
ICT-EurAsia
</>
Publications
</>
Yuchao She
,
Hui Li
,
Hui Zhu
UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors.
ICT-EurAsia
(2013)