Formal Verification of Simulink/Stateflow Diagrams
137,00 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783319836386
Provides development of the method, from theories to implementations, and then to applications Covers a broad range of topics, both theoretical and practical, including hybrid systems, deductive verification, Duration Calculus, dynamical systems, computer algebra, Simulink/Stateflow, Isabelle theorem prover, etc. Uses "hands-on" presentation of implementations and case studies from real industrial systems Includes supplementary material: sn.pub/extras
| Autor: | Zhan, Naijun Zhao, Hengjun Wang, Shuling |
|---|---|
| EAN: | 9783319836386 |
| Sprache: | Englisch |
| Seitenzahl: | 276 |
| Produktart: | kartoniert, broschiert |
| Verlag: | Springer International Publishing Springer International Publishing AG |
| Veröffentlichungsdatum: | 29.06.2018 |
| Untertitel: | A Deductive Approach |
| Größe: | 16 × 155 × 235 |
| Gewicht: | 423 g |
Verwandte Artikel
