• Thetis-lathe: Guidance on Redu...

Treffer: Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes.

Title:
Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes.
Authors:
Jiang, Renshuang, Dong, Pan, Ding, Yan, Wei, Ran, Jiang, Zhe
Source:
ACM Transactions on Embedded Computing Systems; Jul2025, Vol. 24 Issue 4, p1-25, 25p
Database:
Complementary Index