2023
Survey of the Formal Verification of Operating Systems in Power Monitoring System.
[DOI]
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