Treffer: Model-based verification method for solving the parameter uncertainty in the train control system

Title:
Model-based verification method for solving the parameter uncertainty in the train control system
Authors:
Cheng, Ruijun a, Zhou, Jin b, Chen, Dewang c, ⁎, Song, Yongduan a
Source:
In Reliability Engineering and System Safety January 2016 145:169-182
Database:
ScienceDirect