Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao
Inbunden
1 222 kr
AvMarieke Huisman,Corina Păsăreanu
Del i serien Lecture Notes in Computer Science
1 204 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.