Login / Signup
Achieving resilience of heterogeneous networks through predictive, formal analysis.
Zhijing Qin
Grit Denker
Carolyn L. Talcott
Nalini Venkatasubramanian
Published in:
HiCoNS (2013)
Keyphrases
</>
formal analysis
heterogeneous networks
multiple types
formal methods
heterogeneous information networks
link prediction
communication networks
social networks
decision trees
active learning
distributed systems
ban logic