Showing 1 - 1 results of 1 for search 'Miaofang Chen', query time: 0.01s Refine Results
  1. 1
    Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE

    Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE by Lisong Wang, Miaofang Chen, Jun Hu

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

Search Tools: