On regions and zones for event-clock automata.

Gilles Geeraerts Jean-François Raskin Nathalie Sznajder

Published in: Formal Methods Syst. Des. (2014)

Keyphrases

event detection
finite state
real time
high speed
image regions
input image
power consumption
region of interest
image segmentation
markov chain
event driven
event recognition