Monitoring Cumulative Cost Properties.

Omar I. Al-Bataineh Daniel Jun Xian Ng Arvind Easwaran

Published in: FormaliSE@ICSE (2021)

Keyphrases

real time
information retrieval
monitoring system
structural properties
database systems
minimum cost
condition monitoring
data sets
databases
search engine
case study
control system
expected cost