# A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks

> Research article (IEEE Transactions on Industrial Informatics, 2020) · cited 15× · AI/ML

**Wikidata**: [openalex:W3036383364](https://www.wikidata.org/wiki/openalex:W3036383364)  
**Source**: https://4ort.xyz/entity/a-formal-approach-to-verify-connectivity-and-optimize-vnf-placement-in-industrial-networks