Tiziana Margaria
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