C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Symbolic quantitative information flow.
Quoc-Sang Phan
Pasquale Malacaria
Oksana Tkachuk
Corina S. Pasareanu
Published in:
ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
</>
information flow
communication networks
flow analysis
social networks
information flows
supply chain
information security
qualitative and quantitative
multi threaded
functional modules
flow graph
reactive systems
multi context systems