Monitoring Timed Properties (Revisited).

Thomas Møller Grosen Sean Kauffman Kim Guldstrand Larsen Martin Zimmermann

Published in: FORMATS (2022)

Keyphrases

monitoring system
petri net
database
information systems
case study
decision making
face recognition
wide range
search algorithm
markov chain
desirable properties
finite state machines
topological properties