Shengjie Tang

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Safety Analysis

Symbolic Model Checking

Top Venues

Publications

Haifeng Wang, Bin Ning, Tan Chen, Shengjie Tang, Yong Zhang, Ming Chai
Route safety verification of train control system by FTA modeling in SCADE. ITSC (2018)