activity
20102026
most citedA Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems

14 citations · 22 across the 8 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

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…