Login / Signup
Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions.
Robi Malik
Ryan J. Leduc
Published in:
IEEE Trans. Autom. Control. (2013)
Keyphrases
</>
continuous queries
high level
image processing
model checking
signature verification
real time
information systems
decision making
website
image segmentation
face verification
functional verification