Login / Signup

Combining System Level Modeling with Assertion Based Verification.

Anat DahanDaniel GeistLeonid GluhovskyDmitry PidanGil ShapirYaron WolfsthalLyes BenalycherifRomain KamdemYounes Lahbib
Published in: ISQED (2005)
Keyphrases
  • website
  • face verification
  • colored petri nets
  • data sets
  • computer vision
  • model checking
  • verification method
  • database
  • information systems
  • high level
  • preprocessing
  • user interface
  • digital images
  • asynchronous circuits