Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

Model checking-based safety verification for railway signal safety protocol-I
Mei Meng; Xu Zhongwei; Wang Xi; Wan Yongbing
International Journal of Computer Applications in Technology (IJCAT), 2013 Vol.46 No.3, pp.195 - 202
13 + 11 =

Thank you for your feedback.

Return to top