Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins

Date:

The slides for this talk about this paper are available here.