Compositional verification of events and aspects.

Cynthia Disenfeld

Published in: AOSD (Companion) (2012)

Keyphrases

event detection
face verification
real time
model checking
verification method
databases
multiscale
human activities
temporal logic
temporal relations
event sequences