Sign in

一种基于活性顺序图的运行时验证研究 (Research of Runtime Verification Based on Live Sequence Chart).

Junmin YeKun ZhangZhujun YePan ChenShu Chen
Published in: 计算机科学 (2016)
Keyphrases
  • real time
  • databases
  • computer vision
  • model checking
  • machine learning
  • formal verification
  • pseudorandom