Login / Signup
BDD-basierte Verifikation von Echtzeit-Systemen.
Dirk Beyer
Andreas Noack
Published in:
FBT (2000)
Keyphrases
</>
binary decision diagrams
boolean functions
domain knowledge