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.

Test Case Generation Method Based on Colored Petri Net for Train Control System

Lijie Chen 0006, Tianshi Zhao, Chao Sun, Hongyang He. Test Case Generation Method Based on Colored Petri Net for Train Control System. In 3rd International Conference on System Reliability and Safety, ICSRS 2018, Barcelona, Spain, November 23-25, 2018. pages 1-5, IEEE, 2018. [doi]

Authors

Lijie Chen 0006

This author has not been identified. Look up 'Lijie Chen 0006' in Google

Tianshi Zhao

This author has not been identified. Look up 'Tianshi Zhao' in Google

Chao Sun

This author has not been identified. Look up 'Chao Sun' in Google

Hongyang He

This author has not been identified. Look up 'Hongyang He' in Google
runs on