Explaining SDN Failures via Axiomatisations.

Georgiana Caltais

Published in: FROM (2019)

Keyphrases

neural network
model checking
process algebra
failure detection
data sets
databases
social networks
computer vision
information technology