DE
FR
"Naijun Zhan"
(1 Artikel gefunden)
Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao
E-Book (pdf)
07.11.2016
CHF
77.65
110.90
Download steht sofort bereit
30%
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.
