Contract-Based Verification of Digital Twins.

Muhammad Naeem, Cristina Seceleanu

Browse the full ICECCS paper archive.