Arama Sonuçları - Zhao, Hengjun

  • Gösterilen 1 - 1 sonuçlar arası kayıtlar. 1
Sonuçları Daraltın
  1. 1
    Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /

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

    Baskı/Yayın Bilgisi Springer International Publishing : Imprint: Springer, 2017.
    Full-text access
    e-Kitap

Arama Araçları: