Login / Signup

Panel: Complex System Verification: The Challenge Ahead.

Ronald CollettMike GianfagnaMichel CourtoyMartin BaynesJohan Van GinderdeurenKenneth L. McMillanStephen RiccaAlberto L. Sangiovanni-VincentelliSteve SapiroNaeem Zafar
Published in: DAC (1994)
Keyphrases
  • high level
  • real world
  • computationally expensive
  • real time
  • image processing
  • multimedia
  • three dimensional
  • image sequences
  • model checking
  • complex queries
  • face verification