Communication Dans Un Congrès
Année : 2022
Florian Brandner : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03702493
Soumis le : jeudi 23 juin 2022-10:13:46
Dernière modification le : mercredi 7 février 2024-03:35:33
Citer
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
40
Consultations
0
Téléchargements