Login / Signup

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches.

Ning ZhouJinzhao WuXinyan Gao
Published in: J. Appl. Math. (2013)
Keyphrases
  • verification method
  • model checking
  • machine learning methods
  • real time
  • strengths and weaknesses
  • algebraic structure
  • databases
  • real world
  • search engine