Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tao Yue 0002, Shaukat Ali 0001, Paolo Arcaini, Fuyuki Ishikawa. Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV. Volume 13704 of Lecture Notes in Computer Science, pages 9-21, Springer, 2022. [doi]

This author has not been identified. Look up 'Tao Yue 0002' in GoogleThis author has not been identified. Look up 'Shaukat Ali 0001' in GoogleThis author has not been identified. Look up 'Paolo Arcaini' in GoogleThis author has not been identified. Look up 'Fuyuki Ishikawa' in Google

runs on WebDSL