Export 2 results:
Search results for 391
Filters: 1 is biblio_type:Technical reports and Author is John Fitzgerald  [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)