21–30 of 32 hits
|

    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.

    Latest development on the simulation of rolling contact fatigue crack growth in rails

    Zhang, L. / Mellings, S. / Baynham, J. 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.

    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.

    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.

    Develop feedback robot planning method for 3D surface inspection

    Quan, Shi / Chi, Zhang / Ning, Xi et al. | Tema Archive | 2009

    Segmentation of Spectrum Map for HFSWR Based on Feature Extraction

    Li, Yang / Zhang, Ning / Yang, Qiang | IEEE | 2008

    Grey Theory Based Evaluation for SAR Image Denoising

    Ma, Miao / Zhang, Yan-Ning / Tian, Hong-Peng | IEEE | 2008

    Carried Load Measurement Based on Gait Analysis and Human Kinetics

    Zhang, Kui / Zhang, Hong / Yao, Ning et al. | IEEE | 2008