Language support for verifiable SDNs.

Matthias Eichholz

Published in: SPLASH (Companion Volume) (2016)

Keyphrases

neural network
natural language
programming language
data sets
data mining
decision making
information technology
end users
decision support
support systems