Compositional verification of events and observers: (summary).

Cynthia Disenfeld Shmuel Katz

Published in: FOAL (2011)

Keyphrases

event detection
model checking
real time
formal methods
data sets
event recognition
asynchronous circuits
database
artificial intelligence
web services
temporal patterns
sports video
complex events
gene trees
concurrent systems