|
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 |