Login / Signup

Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems.

Yan CaoQiuzi LuTianhua XuTao TangHaifeng WangYongcheng Xu
Published in: SSIRI (Companion) (2011)
Keyphrases
  • model checking
  • machine learning
  • search algorithm
  • general purpose