John S. Fitzgerald, Cláudio Gomes 0001, Peter Gorm Larsen, Mikkel Schmidt Andersen, Santiago Gil 0001, Morten Haahr Kristensen. Digital Twins: a Briefing for Formalists. In Augusto Sampaio 0001, Mariëlle Stoelinga, editors, Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II. Volume 16557 of Lecture Notes in Computer Science, pages 369-393, Springer, 2026. [doi]
Abstract is missing.