Preprint
Aug 2026
A System-of-Systems Case Study for the Verification of Composed Digital Twins
The study reveals how interpretations of DT qualities must adapt to different architectural roles and how local quality guarantees form assumptions for compositional reasoning.
Mennatullah T. Khedr, Mengwei Xu, J. Fitzgerald et al.
· 0 citations