Verification of Designs Containing Black Boxes.

Wolfgang Günther Nicole Drechsler Rolf Drechsler Bernd Becker

Published in: MBMV (2000)

Keyphrases

black boxes
black box
model checking
databases
knowledge representation
data processing