?
Proceedings of the International Conference on Embedded Software ,
2
Work-in-Progress: Unishyper, A Reliable Rust-based Unikerne..:
, In:
?
Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science ,
4