Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins.

Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Browse the full ISoLA paper archive.