Conference
A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations
| Title: | A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations |
|---|---|
| Authors: | Saied, Wejdene, Bouhoula, Adel |
| Source: | 2020 16th International Conference on Network and Service Management (CNSM) Network and Service Management (CNSM), 2020 16th International Conference on. :1-5 Nov, 2020 |
| Relation: | 2020 16th International Conference on Network and Service Management (CNSM) |
| ISSN: | 2165963X |
| DOI: | 10.23919/CNSM50824.2020.9269038 |
| Database: | IEEE Xplore Digital Library |