Engineering of Digital Twins for Cyber-Physical Systems

John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes 0001. Engineering of Digital Twins for 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 3-8, Springer, 2022. [doi]

Authors

John S. Fitzgerald

This author has not been identified. Look up 'John S. Fitzgerald' in Google

Peter Gorm Larsen

This author has not been identified. Look up 'Peter Gorm Larsen' in Google

Tiziana Margaria

This author has not been identified. Look up 'Tiziana Margaria' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google

Cláudio Gomes 0001

This author has not been identified. Look up 'Cláudio Gomes 0001' in Google