21–26 of 26 hits
|

    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.

    System and method for determining motor vehicle collison risk based on traveled route and displaying determined risk as a map

    Free access
    DONG WEI SHAN / DUAN NING / GAO PENG et al. | European Patent Office | 2020

    DIGITAL CONTACTLESS SIGNING SYSTEM FOR FLEXIBLE TOBACCO DISTRIBUTION

    Free access
    YIN JIANKANG / CAI YONG / SONG HONGWEN et al. | European Patent Office | 2021

    Bionic visual navigation control system and method thereof for autonomous aerial refueling docking

    Free access
    DUAN HAIBIN / SUN YONGBIN / DENG YIMIN et al. | European Patent Office | 2022

      Bionic visual navigation control system and method thereof for autonomous aerial refueling docking

      Free access
      DUAN HAIBIN / SUN YONGBIN / DENG YIMIN et al. | European Patent Office | 2019