Timed-Automata-Based Verification of MITL over Signals.

Thomas Brihaye Gilles Geeraerts Hsi-Ming Ho Benjamin Monmege

Published in: TIME (2017)

Keyphrases

model checking
petri net
timed automata
colored petri nets
verification method
signal processing
functional verification
biomedical signals
data sets
spectral analysis
formal methods
heart rate
face verification
color images
signal detection
image processing
original signal
information retrieval
databases
database