Divergence Detection for CCSL Specification via Clock Causality Chain.

Qingguo Xu Robert de Simone Julien DeAntoni

Published in: SETTA (2016)

Keyphrases

false alarms
detection accuracy
false positives
detection method
detection algorithm
high speed
detection scheme
automatic detection
power consumption
object detection
mutual information
bayesian networks
change detection
learning algorithm
databases
real time
database