运行时验证中的减少监控开销方法研究 (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]

Authors

Sheng Xu

This author has not been identified. Look up 'Sheng Xu' in Google

Junmin Ye

This author has not been identified. Look up 'Junmin Ye' in Google

Shu Chen

This author has not been identified. Look up 'Shu Chen' in Google

Cong Jin

This author has not been identified. Look up 'Cong Jin' in Google

Pan Chen

This author has not been identified. Look up 'Pan Chen' in Google