Login / Signup

Simultaneous automated verification of conditional access system on multiple TV sets.

Ivan KastelanVukota PekovicVladimir ZlokolicaJan ZlohDragan Trifunovic
Published in: ICCE-Berlin (2012)
Keyphrases
  • automated verification
  • model checking
  • information retrieval
  • automated reasoning
  • database systems
  • multiple users
  • database
  • multiscale
  • access control
  • random access