Tableau: Future-Proof Zoning for OT Networks.

Piet De Vaere Claude Hähni Franco Monti Adrian Perrig

Published in: CRITIS (2021)

Keyphrases

real world
automated theorem proving
case study
description logics
social networks
long term
network structure
complex networks
information retrieval
network analysis
future internet
real time
proof procedure
network topologies
heterogeneous networks
network model
end to end