Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes.
Saved in:
| Title: | Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes. |
|---|---|
| Authors: | Jiang, Renshuang1, renshuang717@163.com, Dong, Pan2, pandong@nudt.edu.cn, Ding, Yan3, yanding@nudt.edu.cn, Wei, Ran4, r.wei5@lancaster.ac.uk, Jiang, Zhe5,6, zhejiang.uk@gmail.com |
| Source: | ACM Transactions on Embedded Computing Systems; Jul2025, Vol. 24 Issue 4, p1-25, 25p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15399087 |
|---|---|
| DOI: | 10.1145/3736729 |
