Login / Signup

MDG-SAT: an automated methodology for efficient safety checking.

Khaza Anuarul HoqueOtmane Aït MohamedSa'ed AbedMounir Boukadoum
Published in: Int. J. Crit. Comput. Based Syst. (2012)
Keyphrases
  • search algorithm
  • semi automated
  • cost effective
  • computationally expensive
  • fully automated
  • real time
  • neural network
  • artificial intelligence
  • np complete
  • computer aided