Peter Larsen
External collaborator
Publications
Simula-affiliated publications listed
2022
Proceedings, refereed
Read Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems
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
2021
Proceedings, refereed
Read Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model
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