1–10 of 15 hits
|

    A distributed redundant multi-microcomputer system of ATP

    Tang, T. / Wang, X. / Wessex Institute of Technology | British Library Conference Proceedings | 1994

    A new train overspeed protection system based on multi-microprocessors and distributed configuration

    Wang, X. / Ning, B. / Tang, T. et al. | British Library Conference Proceedings | 1994

    An interbus for on-board train control equipment on the CAN bus

    Tang, T. / Xu, Z.-s. / Wessex Institute of Technology | British Library Conference Proceedings | 2000

    CTCS-Chinese Train Control System

    Ning, B. / Tang, T. / Qiu, K. et al. | British Library Conference Proceedings | 2004

    System safety property-oriented test sequences generating method based on model checking

    Zhang, Y. / Zhao, X.Q. / Zheng, W. et al. | British Library Conference Proceedings | 2010

    A novel peak power demand reduction strategy under a moving block signalling system

    Gu, Q. / Pei, L. / Cao, F. et al. | British Library Conference Proceedings | 2010

    Research on a novel train positioning method with a single image

    Guo, B. / Tang, T. / Yu, Z. | British Library Conference Proceedings | 2010

    A framework for modeling train control systems based on agent and cellular automata

    Xun, J. / Ning, B. / Tang, T. | British Library Conference Proceedings | 2010

    Research on a hybrid map matching algorithm for Global Navigation Satellite System based train positioning

    Liu, J. / Cai, B. / Tang, T. et al. | British Library Conference Proceedings | 2010

    Modelling and design of the formal approach for generating test sequences of ETCS level 2 based on the CPN

    Zhao, X. / Zhang, Y. / Zheng, W. et al. | British Library Conference Proceedings | 2010