L. Yuan
发表
Modelling and Verification of the System Requirement Specification of Train Control System Using SDL
L. Yuan,
T. Tang,
K. Li,
2011,
2011 Tenth International Symposium on Autonomous Decentralized Systems.