# Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking

> Research article (IEEE Access, 2023) · cited 30× · AI/ML

**Wikidata**: [openalex:W4324290821](https://www.wikidata.org/wiki/openalex:W4324290821)  
**Source**: https://4ort.xyz/entity/security-analysis-of-a-digital-twin-framework-using-probabilistic-model-checking