A Platform for Run-Time Health Verification of Elastic Cyber-Physical Systems.

Daniel Moldovan, Hong Linh Truong

Browse the full MASCOTS paper archive.