Sign in

Refinement Types for Secure Implementations.

Jesper BengtsonKarthikeyan BhargavanCédric FournetAndrew D. GordonSergio Maffeis
Published in: CSF (2008)
Keyphrases
  • neural network
  • real world
  • decision trees
  • multiscale
  • multi agent
  • data model
  • wireless sensor networks
  • highly efficient