Login / Signup
Refinement-Based Verification of Device-to-Device Information Flow.
Ning Dong
Roberto Guanciale
Mads Dam
Published in:
FMCAD (2021)
Keyphrases
</>
information flow
flow analysis
information flows
communication networks
information systems
multi agent
mobile devices
query processing