Showing 1 - 1 results of 1 for search 'Heng-kui LI', query time: 0.01s 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
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: