Sign in

Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events.

Colin PilbrowRobi Malik
Published in: FTSCS (2013)
Keyphrases
  • event detection
  • video clips
  • event types
  • artificial intelligence
  • image sequences
  • human activities
  • causal relationships
  • temporal relations
  • time stamped
  • functional verification