Login / Signup

Concurrency-oriented verification and coverage of system-level designs.

Alper Sen
Published in: ACM Trans. Design Autom. Electr. Syst. (2011)
Keyphrases
  • higher level
  • database systems
  • levels of abstraction
  • e learning
  • website
  • distributed systems
  • model checking
  • concurrency control