共 12 条
[1]
Alagoz B.B., 2008, OncuBilim Algorithm And Systems Labs, V8, P1
[3]
[Anonymous], 2010, 5905 RFC
[4]
[Anonymous], 2010, 50159 EN
[5]
[Anonymous], 2003, 501292003 CENELEC EN
[6]
Automated system testing of an automatic train protection system
[J].
COMPUTERS IN RAILWAYS XII: COMPUTER SYSTEM DESIGN AND OPERATION IN RAILWAYS AND OTHER TRANSIT SYSTEMS,
2010, 114
:71-80
[7]
IEEE, IEEE 1474.1-2004
[10]
Kopetz H., 2003, Annual Reviews in Control, V27, P3, DOI 10.1016/S1367-5788(03)00002-6