Search Results - Zhan, Naijun

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /

    Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach / by Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

    Published Springer International Publishing : Imprint: Springer, 2017.
    Full-text access
    e-Book

Search Tools: