Huang Yinxia

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
For safety communication protocol in the train control system, it is necessary for verification to justify why the protocol is to be trusted. Formal methods are powerful specification and verification techniques for establishing high confidence in safety-critical systems. In this paper, the models of safety communication protocol, including the model of(More)
  • 1