Verifiably-safe software-defined networks for CPS.
Richard William SkowyraAndrei LapetsAzer BestavrosAssaf J. KfouryPublished in: HiCoNS (2013)
Keyphrases
- software systems
- heterogeneous networks
- software development
- computer systems
- social networks
- commercial software
- software tools
- complex networks
- user interface
- test cases
- software architecture
- network structure
- source code
- software projects
- object oriented
- software maintenance
- software design
- software evolution
- software packages
- real world