collaborators

1 paper

cs.SE2026

A System-of-Systems Case Study for the Verification of Composed Digital Twins

Mennatullah T. Khedr, Mengwei Xu, John S. Fitzgerald +1

Current approaches to engineering dependable Digital Twins (DTs) of Cyber-Physical Systems lack practical guidance on how qualities such as relevance, verifiability, substitutabili…