Sign in

Refinement-Based Verification of Device-to-Device Information Flow.

Ning DongRoberto GuancialeMads Dam
Published in: FMCAD (2021)
Keyphrases
  • information flow
  • flow analysis
  • information flows
  • communication networks
  • information systems
  • multi agent
  • mobile devices
  • query processing