Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twin

Published in ISoLA, 2022

Recommended citation: Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tarifa Tapia, Einar Broch Johnsen. (2022). ISoLA.