1–5 of 5 hits
|

    Working out an incomplete cyclic train timetable for high-speed railways by computer

    Yang, D. / Nie, L. / Tan, Y. et al. | British Library Conference Proceedings | 2010
    Contributors: Ning, B.

    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
    Contributors: Ning, B.

    State-based risk frequency estimation of a rail traffic signal system

    Zhang, Y. / Guo, J. / Liu, L. | British Library Conference Proceedings | 2010
    Contributors: Ning, B.

    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
    Contributors: Ning, B.

    A Practical Research on Visualized Spatial Analysis of Traffic Volume Data

    Ning, X. / Li, Z. / Zhang, Y. et al. | British Library Conference Proceedings | 2003