Export 1 results:
Search results for 391
Filters: 1 is biblio_type:Technical reports and Author is Tiziana Margaria  [Reset Search]
2022
T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes. Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Edited by J. Fitzgerald, T. Margaria, P. G. Larsen and J. Woodcock. LNCS, 2022.