Login / Signup
Designing provably correct information networks with digital diodes.
Fred Cohen
Published in:
Comput. Secur. (1988)
Keyphrases
</>
information networks
provably correct
network analysis
situation calculus
formal methods
social network analysis
heterogeneous information networks
social networks
community detection
tunnel diode
room temperature
high density
black box
complex networks
data model
relational databases
training set
expert systems