Mama Diakité, Mamadou Kaba Traoré. Formal Approach to Digital Twin Specification. In María Julia Blas, Gonzalo Alvarez, editors, Annual Modeling and Simulation Conference, ANNSIM 2023, Hamilton, ON, Canada, May 23-26, 2023. pages 233-244, IEEE, 2023. [doi]
Abstract is missing.