Login / Signup

Concurrent checking for logic [review of "New Methods of Concurrent Checking (Goessel, M., et al; 2008)].

Scott Davidson
Published in: IEEE Des. Test Comput. (2010)
Keyphrases
  • computer vision
  • machine learning methods
  • real time
  • association rules
  • computational cost
  • computationally expensive
  • search methods