Merkliste 
 1 Ergebnisse 
 
1

Towards a Digital Twin Architecture with Formal Analysis Ca..:

, In: Modelling and Simulation for Autonomous Systems; Lecture Notes in Computer Science,