Monitoring with verified guarantees.

Jan Baumeister Johann C. Dauer Bernd Finkbeiner Sebastian Schirmer

Published in: Int. J. Softw. Tools Technol. Transf. (2023)

Keyphrases

monitoring system
real time
early warning
databases
information systems
image processing
data structure
information technology
hidden markov models