Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement.

Ignacio D. Lopez-Miguel

Browse the full SAC paper archive.