Login / Signup

Verification and Implementation of the Protocol Standard in Train Control System.

Yu JiangHehua ZhangXiaoyu SongWilliam N. N. HungMing GuJiaguang Sun
Published in: COMPSAC (2013)
Keyphrases
  • control system
  • protocol specification
  • formal analysis
  • fuzzy logic
  • data sets
  • lightweight
  • closed loop
  • formal specification
  • end to end
  • control strategy
  • model checker
  • commercial systems
  • colored petri nets
  • formal proof