# Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin

> Research article (Sensors, 2024) · cited 12× · AI/ML

**Wikidata**: [openalex:W4391167996](https://www.wikidata.org/wiki/openalex:W4391167996)  
**Source**: https://4ort.xyz/entity/process-algebraic-approach-for-probabilistic-verification-of-safety-and-security-requirements-of-smart-iot-internet-of-t