论文信息 - Semi-formal methods in safety railway control systems validation - 字舞流文

Semi-formal methods in safety railway control systems validation

T. Perzyński | Andrzej Lewiński | J. Magott | J. Magott | A. Lewinski | T. Perzyński

[1] Andrzej Lewinski,et al. Risk Analysis as a Basic Method of Safety Transmission System Certification , 2011, TST.

[2] Jan Magott,et al. The FTTD Method Application to the Safety Analysis of Changeable Block Distance System , 2012, TST.

[3] Andrzej Lewinski,et al. The Reliability and Safety of Railway Control Systems Based on New Information Technologies , 2010, TST.

[4] Andrzej Lewinski,et al. The Analysis of Open Transmission Standards in Railway Control and Management , 2012, TST.