Login / Signup
Building Correct SDN-Based Components from a Global Formal Mode.
J. Christian Attiogbé
Published in:
CoRR (2018)
Keyphrases
</>
globally consistent
formal specification
formal model
database
artificial intelligence
search engine
global information
decision trees
similarity measure
mixed mode
software components
design patterns
multiscale
website
image processing
neural network
real time