Emerging Challenges in Compositionality and Correctness for Digital Twins.

Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David B. Cameron, Einar Broch Johnsen

Browse the full FM paper archive.