Kangle Yang

According to our database, Kangle Yang authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

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

2021

EdgeKeeper: a trusted edge computing framework for ubiquitous power Internet of Things.

Weiyong Yang, Wei Liu, Xingshen Wei, Zixin Guo, Kangle Yang, Hao Huang, Longyun Qi

Frontiers Inf. Technol. Electron. Eng., 2021