Autonomous and Critical Embedded Systems

par Florian Brandner
Aucun commentaire

Best Paper Award at RTNS 2022

Felipe Lisboa Malaquias (ACES), Mihail Asavoae (CEA List), and Florian Brandner (ACES) received the Best Paper Award at the 30th International Conference on Real-Time Networks and Systems (RTNS) for their paper « A Coq Framework for More Trustworthy DRAM Controllers ».