[Other] Survey of the Formal Verification of Operating Systems in Power Monitoring System

vexthymia Post time 3 day(s) ago | Show all posts |Read mode
Reward10points

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

Authors:Kangle Yang; Jianye Yu; Xinshen Wei; Feng You; Haidong Huang; Xuesong Huo

Published date:2023-7-28

DOI:10.1145/3609703.3609714

PDF link:https://dl.acm.org/doi/pdf/10.1145/3609703.3609714

Article link:http://dx.doi.org/10.1145/3609703.3609714

Article Source:ACM


Remark:
Reply

Use magic Donate Report

All Reply1 Show all posts
metastock Post time 3 day(s) ago | Show all posts

Waiting for confirmation

If the PDF has not been accepted after 72 hours, the system will automatically adopt it.
Reply

Use magic Donate Report

Junior Member
  • post

  • reply

  • points

    40

Latest Reply

Return to the list