Vol-3506⫷ Vol-3507 ⫸Vol-3508
urn:nbn:de:0074-3507-0


Vol-3507/xpreface⫷Vol-3507/paper1⫸Vol-3507/paper2

Leveraging Runtime Verification for the Monitoring of Digital Twins