A Predictive Runtime Verification Framework for Cyber-Physical Systems.

Kang Yu Zhenbang Chen Wei Dong

Published in: SERE (Companion) (2014)

Keyphrases

lightweight
real time
artificial intelligence
data mining
information systems
low cost
source code
cloud computing