Conference Papers
Year :
Florian Brandner : Connect in order to contact the contributor
https://hal.science/hal-03702493
Submitted on : Thursday, June 23, 2022-10:13:46 AM
Last modification on : Tuesday, February 28, 2023-3:36:24 PM
Cite
Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner. A Coq Framework for More Trustworthy DRAM Controllers. RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩. ⟨hal-03702493⟩
Collections
25
View
0
Download