Login / Signup

Using Event-B to Verify the Kmelia Components and Their Assemblies.

Pascal AndréGilles ArdourelJ. Christian AttiogbéArnaud Lanoix
Published in: ASM (2010)
Keyphrases
  • event detection
  • building blocks
  • real time
  • information systems
  • metadata
  • face recognition
  • temporal patterns
  • event recognition