Articles liés à Formal Verification of Simulink/Stateflow Diagrams:...

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

Zhan, Naijun; Wang, Shuling; Zhao, Hengjun

 
9783319470153: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Couverture souple
ISBN 10 : 3319470159 ISBN 13 : 9783319470153
Editeur : Springer, 2016

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2016
Langue
anglais
ISBN 10 
3319470159
ISBN 13 
9783319470153
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783319470146: Formal Verification of Simulink/Stateflow Diagrams

Edition présentée

ISBN 10 :  3319470140 ISBN 13 :  9783319470146
Editeur : Springer, 2016
Couverture rigide