Login / Signup

Event-Driven Verification of Switch-Level Correctness Concerns.

Radu Negulescu
Published in: ACSD (1998)
Keyphrases
  • event driven
  • information delivery
  • levels of abstraction
  • model checking
  • publish subscribe
  • real time
  • lower level
  • markup language
  • functional verification
  • case study
  • data streams
  • higher level