![](/img/cover-not-exists.png)
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
Marchetto, Guido, Sisto, Riccardo, Valenza, Fulvio, Yusupov, Jaloliddin, Ksentini, AdlenYear:
2020
Journal:
IEEE Transactions on Industrial Informatics
DOI:
10.1109/TII.2020.3002816
File:
PDF, 2.99 MB
2020