Architecture for Secure Data Distribution Using Cloud-Based Digital Twins. - Turki Alhazmi (UCC, 2024)

Formal specification and executable analysis of digital twin systems using Maude rewriting logic. - Turki Alhazmi; Farag Azzedin; Jameleddine Hassine; Mohammad Hammoudeh (Future Gener. Comput. Syst., 2026)