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