Cite
HARVARD Citation
Meng, M. et al. (2013). Model checking-based safety verification for railway signal safety protocol-I. International journal of computer applications technology. pp. 195-202. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Meng, M. et al. (2013). Model checking-based safety verification for railway signal safety protocol-I. International journal of computer applications technology. pp. 195-202. [Online].