Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control.

Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi

Browse the full TASE paper archive.