SRV: Switch-based rules verification in software defined networking.
Yuchia TsengZonghua ZhangFarid Naït-AbdesselamPublished in: NetSoft (2016)
Keyphrases
- functional verification
- software development
- association rules
- artificial intelligence
- rough sets
- formal methods
- software tools
- association rule mining
- hardware designs
- software package
- software design
- production rules
- distributed computing
- design patterns
- computer systems
- peer to peer
- neural network
- rule sets
- embedded systems
- data sets
- operating system
- source code
- e learning
- verification method
- information systems