Formal Methods meet Digital Twins: Challenges and Opportunities.

Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, Silvia Lizeth Tapia Tarifa

Browse the full ESOP paper archive.