TY  - RPRT
TI  - A System-of-Systems Case Study for the Verification of Composed Digital Twins
AU  - Mennatullah T. Khedr
AU  - Mengwei Xu
AU  - John S. Fitzgerald
AU  - Peter Gorm Larsen
PY  - 2026
UR  - https://arxiv.org/abs/2608.28498
ID  - 2608.28498
ER  -