Login / Signup

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?

Jason KirschenbaumBruce M. AdcockDerek BronishHampton SmithHeather K. HartonMurali SitaramanBruce W. Weide
Published in: ICSR (2009)
Keyphrases
  • information systems
  • real time
  • computer vision
  • knowledge base
  • high level
  • image sequences
  • search algorithm