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


Vol-3507/xpreface⫷Vol-3507/paper1⫸Vol-3507/paper2
Sylvain HalléChukri SoueidiYliès Falcone

Leveraging Runtime Verification for the Monitoring of Digital Twins