<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-06-26 09:06:44Network architecture Computer network security OpenFlow Software-defined networking Stateful firewall Open vSwitch Firewall Controller |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-06-26 09:06:44Network architecture Computer network security OpenFlow Software-defined networking Stateful firewall Open vSwitch Firewall Controller |
Add to Reading List |
HotSwap: Correct and Efficient Controller Upgrades for Software-Defined Networks Laurent Vanbever Joshua Reich![Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics ? Chuchu Fan1[0000−0003−4671−233X] , Umang Mathur1[0000−0002−7610−0660] , Sayan Mitra1[0000−0001−7082−5516] , and Mahesh Vi](https://www.pdfsearch.io/img/dfaf75deff2a4c9278351a9809d07f6b.jpg "Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics ? Chuchu Fan1[0000−0003−4671−233X] , Umang Mathur1[0000−0002−7610−0660] , Sayan Mitra1[0000−0001−7082−5516] , and Mahesh Vi")
