Showing 1 - 2 results of 2 for search '"safety computer"', query time: 0.02s Refine Results
  1. 1
    Formal verification and implementation of safety computer communication management mechanism

    Formal verification and implementation of safety computer communication management mechanism by Liang LIANG, Yuan CAO, Lian-chuan MA, Yu-zhuo ZHANG, Heng-kui LI

    Published 2016-11-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Analysis and verification of safety computer time constraints for train-to-train communications

    Analysis and verification of safety computer time constraints for train-to-train communications by Ying GAO, Yuan CAO, Yongkui SUN, Lianchuan MA, Chunhua HONG, Yuzhuo ZHANG

    Published 2018-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: