Verwandte Artikel zu Formal Verification of Simulink/Stateflow Diagrams:...

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach - Softcover

Zhan, Naijun; Wang, Shuling; Zhao, Hengjun

 
9783319470153: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Softcover
ISBN 10: 3319470159 ISBN 13: 9783319470153
Verlag: Springer, 2016

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2016
Sprache
Englisch
ISBN 10 
3319470159
ISBN 13 
9783319470153
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783319470146: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Vorgestellte Ausgabe

ISBN 10:  3319470140 ISBN 13:  9783319470146
Verlag: Springer, 2016
Hardcover