Verification across Intellectual Property Boundaries.
Sagar ChakiChristian SchallhartHelmut VeithPublished in: ACM Trans. Softw. Eng. Methodol. (2013)
Keyphrases
- intellectual property
- patent search
- clef ip
- formal verification
- patent information
- model checking
- formal methods
- e government
- fingerprint verification
- signature verification
- patent documents
- face verification
- prior art
- asynchronous circuits
- image sequences
- e learning
- information retrieval
- natural language
- verification method