A Coq Framework for More Trustworthy DRAM Controllers.

Felipe Lisboa Malaquias Mihail Asavoae Florian Brandner

Published in: RTNS (2022)

Keyphrases

lightweight
main contribution
computer vision
image segmentation
neural network
machine learning
multi agent
control system
probabilistic model
management system
conceptual framework
trust management