Monitor Logics for Quantitative Monitor Automata.

Published in: MFCS (2017)

Keyphrases

monitoring system
real time
qualitative and quantitative
databases
neural network
information systems
case study
expressive power