Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Schuermann, Leon
10  Ergebnisse:
Personensuche X
?
1

Encapsulated Functions: Fortifying Rust's FFI in Embedded S..:

, In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification,
Schuermann, Leon ; Thomas, Arun ; Levy, Amit - p. 41-48 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

tock/tock: Tock 2.1.1:

Brad Campbell ; Amit Levy ; Philip Levis...
https://github.com/tock/tock/tree/release-2.1.1.  , 2023
Link: https://zenodo.org/recor..
 
?
3

tock/tock: Tock 2.1:

Brad Campbell ; Amit Levy ; Philip Levis...
https://github.com/tock/tock/tree/release-2.1.  , 2022
Link: https://zenodo.org/recor..
 
?
4

tock/tock: Tock 2.1 Release Candidate 1:

Brad Campbell ; Amit Levy ; Philip Levis...
https://github.com/tock/tock/tree/release-2.1-rc1.  , 2022
Link: https://zenodo.org/recor..
 
?
5

tock/libtock-c: Tock 2.1:

Brad Campbell ; Pat Pannuto ; Amit Levy...
https://github.com/tock/libtock-c/tree/release-2.1.  , 2022
Link: https://zenodo.org/recor..
 
?
6

tock/tock: Tock 2.0:

Brad Campbell ; Amit Levy ; Pat Pannuto...
https://github.com/tock/tock/tree/release-2.0.  , 2021
Link: https://zenodo.org/recor..
 
?
7

tock/libtock-c: Tock 2.0:

Brad Campbell ; Pat Pannuto ; Amit Levy...
https://github.com/tock/libtock-c/tree/release-2.0.  , 2021
Link: https://zenodo.org/recor..
 
?
8

tock/tock: Tock 2.0 Release Candidate 2:

Brad Campbell ; Amit Levy ; Pat Pannuto...
https://github.com/tock/tock/tree/release-2.0-rc2.  , 2021
Link: https://zenodo.org/recor..
 
?
9

tock/tock: Tock 2.0 Release Candidate 1:

Brad Campbell ; Amit Levy ; Pat Pannuto...
https://github.com/tock/tock/tree/release-2.0-rc1.  , 2021
Link: https://zenodo.org/recor..
 
?
10

tock/tock: Tock 1.6:

Brad Campbell ; Amit Levy ; Pat Pannuto...
https://github.com/tock/tock/tree/release-1.6.  , 2020
Link: https://zenodo.org/recor..
 
1-10