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 : Sunday, April 2, 2023-10:56:04 AM
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
28
View
0
Download