Login / Signup

Verification of Designs Containing Black Boxes.

Wolfgang GüntherNicole DrechslerRolf DrechslerBernd Becker
Published in: EUROMICRO (2000)
Keyphrases
  • black boxes
  • black box
  • model checking
  • information systems
  • data analysis