Combining Monitoring with Run-Time Assertion Checking.

Frank S. de Boer Stijn de Gouw

Published in: SFM (2014)

Keyphrases

monitoring system
real time
databases
image processing
clustering algorithm
wide range
information technology
decision support