von: Naijun Zhan · Shuling Wang · Hengjun ZhaoGebunden Details (Deutschland) Details (USA) Details (Großbritannien) ISBN-13: 978-3-319-47014-6 ISBN-10: 3-319-47014-0 Springer · 2016 |
Siehe auch: | ||
2018 | Taschenbuch | Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach |