Login / Signup
Kangle Yang
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Virtual Instrument
Operating System
Multi Tasking
Windows Nt
Top Venues
PRIS
Frontiers Inf. Technol. Electron. Eng.
</>
Publications
</>
Kangle Yang
,
Jianye Yu
,
Xinshen Wei
,
Feng You
,
Haidong Huang
,
Xuesong Huo
Survey of the Formal Verification of Operating Systems in Power Monitoring System.
PRIS
(2023)
Weiyong Yang
,
Wei Liu
,
Xingshen Wei
,
Zixin Guo
,
Kangle Yang
,
Hao Huang
,
Longyun Qi
EdgeKeeper: a trusted edge computing framework for ubiquitous power Internet of Things.
Frontiers Inf. Technol. Electron. Eng.
22 (3) (2021)