Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Chen Lijie
Information about the author Chen Lijie will soon be added to the site.
Found
1 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
Verification of the safety communication protocol in train control system using colored Petri net
2012
This paper deals with formal and simulation‐based verification of the safety...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
