Developments in verification of design correctness (A Tutorial).

Wendell E. Cory William M. van Cleemput

Published in: DAC (1980)

Keyphrases

information systems
building blocks
databases
neural network
database
data sets
knowledge base
image processing
case study
multiscale
data structure
software engineering
computer aided
formal verification