# Testing and Validation of Modbus/TCP Protocol for Secure SCADA Communication in CPS using Formal Methods

> Research article (Scalable Computing Practice and Experience, 2017) · cited 10× · AI/ML

**Wikidata**: [openalex:W2770734399](https://www.wikidata.org/wiki/openalex:W2770734399)  
**Source**: https://4ort.xyz/entity/testing-and-validation-of-modbus-tcp-protocol-for-secure-scada-communication-in-cps-using-formal-methods