Authors | T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes |
Editors | J. Fitzgerald, T. Margaria, P. G. Larsen and J. Woodcock |
Title | Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems |
Afilliation | Software Engineering |
Project(s) | WTT4Oslo: Improving Quality of IoT-based Welfare Technology Solutions in the City of Oslo, Department of Engineering Complex Software Systems |
Status | Published |
Publication Type | Proceedings, refereed |
Year of Publication | 2022 |
Conference Name | 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation |
Publisher | LNCS |
Citation Key | 42861 |