AuthorsT. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes
EditorsJ. Fitzgerald, T. Margaria, P. G. Larsen and J. Woodcock
TitleTowards Requirements Engineering for Digital Twins of Cyber-Physical Systems
AfilliationSoftware Engineering
Project(s) WTT4Oslo: Improving Quality of IoT-based Welfare Technology Solutions in the City of Oslo, Department of Engineering Complex Software Systems
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2022
Conference Name11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
PublisherLNCS
Citation Key42861