Formal Modelling of Software Defined Networking.

Published in: IFM (2018)

Keyphrases

software design
formal methods
software maintenance
software development
computer systems
software systems
real time
knowledge base
source code
software tools
database systems
user defined
software architecture
formal language
requirements specification
computer networking