Login / Signup
一种基于活性顺序图的运行时验证研究 (Research of Runtime Verification Based on Live Sequence Chart).
Junmin Ye
Kun Zhang
Zhujun Ye
Pan Chen
Shu Chen
Published in:
计算机科学 (2016)
Keyphrases
</>
real time
databases
computer vision
model checking
machine learning
formal verification
pseudorandom