Login / Signup
Xuesong Huo
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Windows Nt
Monitoring System
Virtual Memory
Multi Tasking
Top Venues
PRIS
iSPEC
CBD
</>
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)
Wang Yihua
,
Zhang Xin
,
Li Qin
,
Shi Yanping
,
Wangli Zheng
,
Xuesong Huo
Evolution Analysis of The Remote Extension of State Grid's Dispatch Exchange.
iSPEC
(2023)
Xuesong Huo
,
Ming Zhang
,
Hongqin Zhu
,
Wei Li
A Security Situation Assessment Method based on Support Vector Regression for Power Monitoring System.
CBD
(2021)