Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems

von Zhao, Xiaotian Dai. Shuai
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)