Sign in
运行时验证中的减少监控开销方法研究 (On Reducing Monitoring Overhead in Runtime Verification).
Sheng Xu
Junmin Ye
Shu Chen
Cong Jin
Pan Chen
Published in:
计算机科学 (2016)
Keyphrases
</>
monitoring system
real time
databases
model checking
signature verification
neural network
formal methods
formal analysis
formal verification
real world
computer vision
case study
search algorithm
decision support
face verification