Login / Signup
System-Level Verification - A Comparison of Approaches.
Ray Turner
Published in:
IEEE International Workshop on Rapid System Prototyping (1999)
Keyphrases
</>
e learning
image processing
image segmentation
levels of abstraction
database
data mining
knowledge base
face recognition
data structure
natural language
multiresolution
model checking
alternative approaches
pros and cons