Sign in

Monitoring with Verified Guarantees.

Johann C. DauerBernd FinkbeinerSebastian Schirmer
Published in: RV (2021)
Keyphrases
  • monitoring system
  • real time
  • database
  • databases
  • data mining
  • artificial intelligence
  • case study
  • decision support
  • data sets
  • machine learning
  • database systems
  • probabilistic model
  • complex event processing