• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Coq Framework for More Trustworthy DRAM Controllers.

Felipe Lisboa MalaquiasMihail AsavoaeFlorian 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