DE
FR
"Shuqing Zhao"
(2 Artikel gefunden)
Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao
E-Book (pdf)
07.11.2016
CHF
88.70
110.90
Download steht sofort bereit
20%
SPECC: Specification Language and Methodology
Daniel D. Gajski, Jianwen Zhu, Rainer Dömer
E-Book (pdf)
06.12.2012
CHF
177.90
Download steht sofort bereit
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.
