Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Verification of Simulink/Stateflow Diagrams
  • Produktbild: Formal Verification of Simulink/Stateflow Diagrams
- 10%

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

10% sparen

109,99 € UVP 123,04 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

14.11.2016

Abbildungen

XV, 258 p. 74 illus., 60 illus. in color.

Verlag

Springer

Seitenzahl

258

Maße (L/B/H)

24,1/16/2,1 cm

Gewicht

582 g

Auflage

1st ed. 2017

Sprache

Englisch

ISBN

978-3-319-47014-6

Beschreibung

Rezension

“The book is an enjoyable reading and provides a thorough overview of the verification of embedded systems using Simulink and Stateflow as advertised by the title. The book provides the mathematical foundations as well as real-world applications of the presented approaches and can easily be appreciated by most graduates of computer science.” (Andreas Maletti, zbMath 1412.68006, 2019)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

14.11.2016

Abbildungen

XV, 258 p. 74 illus., 60 illus. in color.

Verlag

Springer

Seitenzahl

258

Maße (L/B/H)

24,1/16/2,1 cm

Gewicht

582 g

Auflage

1st ed. 2017

Sprache

Englisch

ISBN

978-3-319-47014-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Verification of Simulink/Stateflow Diagrams
  • Produktbild: Formal Verification of Simulink/Stateflow Diagrams
  • 1 Introduction.- 2 Preliminaries.- 3 Unifying Theories of Programming.- 4 Simulink.- 5 Stateflow and Its Combination with Simulink.- 6 Hybrid CSP.- 7 Hybrid Hoare Logic.- 8 The HHL Prover.- 9 Invariant Generation.- 10 Translating Simulink Diagrams into HCSP.- 11 Translating Simulink/Stateflow Diagrams into HCSP.- 12 From HCSP to Simulink.- 13 MARS A Toolkit for Modelling, Analysis and Verification of Hybrid Systems.- 14 Case Studies.