External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking

Xiao Han, Tao Tang, Jidong Lv, Haifeng Wang. Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking. In Thierry Lecomte, Ralf Pinger, Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. Volume 9707 of Lecture Notes in Computer Science, pages 95-105, Springer, 2016. [doi]

Authors

Xiao Han

This author has not been identified. Look up 'Xiao Han' in Google

Tao Tang

This author has not been identified. Look up 'Tao Tang' in Google

Jidong Lv

This author has not been identified. Look up 'Jidong Lv' in Google

Haifeng Wang

This author has not been identified. Look up 'Haifeng Wang' in Google
runs on