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 3 avril 2024-11:14:12
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