Yuchao She

According to our database, Yuchao She authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors.

Yuchao She, Hui Li, Hui Zhu

Proceedings of the Information and Communicatiaon Technology - International Conference, 2013