John Fitzgerald

T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems

11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

T. Yue, P. Arcaini and S. Ali

Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation