Xinshen Wei

According to our database, Xinshen Wei authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Survey of the Formal Verification of Operating Systems in Power Monitoring System.

Kangle Yang, Jianye Yu, Xinshen Wei, Feng You, Haidong Huang, Xuesong Huo

Proceedings of the 2023 5th International Conference on Pattern Recognition and Intelligent Systems, 2023