Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

Shuling WangHengjun ZhaoNaijun Zhan
Formal Verification of Simulink/Stateflow Diagrams
2016ISBN 9783319470146
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisFiziniai ir technologijos mokslaiStatyba, inžinerija
Šią knygą siūlo (0)
Šios knygos nori (0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra