Tao Tang

Tang Tao

Information about the author Tang Tao will soon be added to the site.
Found 1 papers in total
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: