C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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