Zhan, Naijun (Autor)
Wang, Shuling (Autor)
Zhao, Hengjun (Autor)
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-319-47016-0 |
|---|---|
| Seitenzahl | 258 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 4328 Kbytes |