# Intrusion Detection in PLC-Based Industrial Control Systems Using Formal Verification Approach in Conjunction with Graphs

> Research article (Journal of Hardware and Systems Security, 2017) · cited 17× · AI/ML

**Wikidata**: [openalex:W2765773944](https://www.wikidata.org/wiki/openalex:W2765773944)  
**Source**: https://4ort.xyz/entity/intrusion-detection-in-plc-based-industrial-control-systems-using-formal-verification-approach-in-conjunction-with-graph