Suchergebnisse - Wang, Shuling

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Formal verification of simulink/stateflow diagrams: a deductive approach
    von Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

    Veröffentlicht 2017
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Formal verification of Simulink/Stateflow diagrams: a deductive approach
    von Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

    Veröffentlicht 2017
    Buch


    Gespeichert in:

Suchwerkzeuge: