=Paper=
{{Paper
|id=Vol-3507/paper1
|storemode=property
|title=Leveraging Runtime Verification for the Monitoring of Digital Twins
|pdfUrl=https://ceur-ws.org/Vol-3507/paper1.pdf
|volume=Vol-3507
|authors=Sylvain Hallé,Chukri Soueidi,Yliès Falcone
|dblpUrl=https://dblp.org/rec/conf/fm/HalleSF23
}}
==Leveraging Runtime Verification for the Monitoring of Digital Twins==
<pdf width="1500px">https://ceur-ws.org/Vol-3507/paper1.pdf</pdf>
<pre>
None
</pre>