Modular quantitative monitoring.

Rajeev Alur Konstantinos Mamouras Caleb Stanford

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

real time
monitoring system
qualitative and quantitative
databases
machine learning
computer vision
information retrieval
artificial intelligence
decision trees
quantitative and qualitative
early warning
condition monitoring
quantitative measures
modular structure