Suchergebnisse - Zhan, Naijun

  • Treffer 1 – 4 von 4
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:
  3. 3
    Buchumschlag

    Symposium on real-time and hybrid systems: essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Zhan, Naijun …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Formal methods: 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Zhan, Naijun …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: