运行时验证中的减少监控开销方法研究 (On Reducing Monitoring Overhead in Runtime Verification)

Sheng Xu, Junmin Ye, Shu Chen, Cong Jin, Pan Chen. 运行时验证中的减少监控开销方法研究 (On Reducing Monitoring Overhead in Runtime Verification). 计算机科学, 43(5):162-168, 2016. [doi]

Abstract

Abstract is missing.