Export 2 results:
Search results for 10337
Filters: 1 is biblio_type:Technical reports and Author is Peter Gorm Larsen  [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.
2021
T. Yue, P. Arcaini and S. Ali. Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Edited by J. Fitzgerald and P. G. Larsen. Vol. 12479. LNCS, Springer, Cham, 2021.PDF icon isola-2020.pdf (1005.44 KB)