Vol-3854⫷ Vol-3855 ⫸Vol-3856
urn:nbn:de:0074-3855-0


Vol-3855/m4s2⫷Vol-3855/m4s3⫸Vol-3855/m4s4
Raghavendran GunasekaranBoudewijn R. Haverkort

Verification of Digital Twins through Statistical Model Checking