Sign in
Quantitative Information Flow for Scheduler-Dependent Systems.
Yusuke Kawamoto
Thomas Given-Wilson
Published in:
QAPL (2015)
Keyphrases
</>
information flow
information security
reactive systems
intelligent systems
social networks
data processing
computer systems
information flows
data mining
model checking
functional modules
flow analysis