Login / Signup

Modeling and Verification of an Automatic Train Protection System.

Xijiao XiongJing LiuMiaomiao ZhangZuohua Ding
Published in: COMPSAC Workshops (2010)
Keyphrases
  • modeling language
  • modeling framework
  • modeling method
  • database
  • data mining
  • clustering algorithm
  • search algorithm
  • multi agent systems
  • hidden markov models
  • model checking
  • fully automatic
  • colored petri nets