Lijie Chen, Tao Tang, Xianqiong Zhao, Eckehard Schnieder. Verification of the safety communication protocol in train control system using colored Petri net. Rel. Eng. & Sys. Safety, 100:8-18, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.