1–7 von 7 Ergebnissen
|

    Co-designing the Next Generation Automatic Driving Vehicle HMI Interface with Lead-Users

    Zhang, Ning / Jiang, Ao | British Library Conference Proceedings | 2022

    Distinguishing Individual Red Pandas from Their Faces

    He, Qi / Zhao, Qijun / Liu, Ning et al. | British Library Conference Proceedings | 2019

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

    Zhang, Y. / Guo, J. / Liu, L. | British Library Conference Proceedings | 2010
    Beteiligte: 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
    Beteiligte: 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
    Beteiligte: 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
    Beteiligte: 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
    Beteiligte: Ning, B.