Formal Verification of Simulink/Stateflow Diagrams - Couverture rigide

Zhan

9783319470146: Formal Verification of Simulink/Stateflow Diagrams

Couverture rigide

ISBN 10 : 3319470140 ISBN 13 : 9783319470146

Editeur : Springer, 2016

Afficher les exemplaires de cette �dition comportant l?ISBN

2 D'occasion

De EUR 58,69

7 Neuf

De EUR 98,25

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.

� propos de l?auteur

Dr. Naijun Zhan is a research professor at State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences. He obtained PhD in computer science from Institute of Software, Chinese Academy of Sciences in 2000, and Ms.c in computer science and Bs.c in mathematical logic both from Nanjing University respectively in 1996 and in 1993. Prior to join Institute of Software, Chinese Academy of Sciences, he worked at Faculty of Mathematics and Informatics, University of Mannheim, Germany from 2001 to 2004.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2016
Langue: anglais
ISBN 10: 3319470140
ISBN 13: 9783319470146
Reliure: Reli�
Num�ro d'�dition: 1
Nombre de pages: 276
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Acheter D'occasion

�tat : Tr�s bon

Zustand: Sehr gut | Seiten: 276...

Afficher cet article

EUR 58,69

Exp�dition �EUR 105
Exp�dition depuis Allemagne vers Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 98,25

Exp�dition �EUR 6,80
Exp�dition depuis Italie vers Etats-Unis

Ajouter au panier

Autres �ditions populaires du m�me titre

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

Edition pr�sent�e

ISBN 10 : 3319836382 ISBN 13 : 9783319836386
Editeur : Springer, 2018
Couverture souple

Springer, 2016 (Couverture souple)

R�sultats de recherche pour Formal Verification of Simulink/Stateflow Diagrams

Image d'archives

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (eng)

Zhan, Naijun

Edit� par Springer, 2016

ISBN 10 : 3319470140 ISBN 13 : 9783319470146

Neuf Couverture rigide

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 4 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur 3751c1164fa53837917588c4ae1a2aaf

Contacter le vendeur

Acheter neuf

EUR 98,25

Exp�dition �EUR 6,80
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Verification of Simulink/Stateflow Diagrams

Zhan

Edit� par Springer, 2016

ISBN 10 : 3319470140 ISBN 13 : 9783319470146

Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783319470146_new

Contacter le vendeur

Acheter neuf

EUR 126,47

Exp�dition �EUR 13,84
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Verification of Simulink/Stateflow Diagrams

Naijun Zhan

Edit� par Springer International Publishing Nov 2016, 2016

ISBN 10 : 3319470140 ISBN 13 : 9783319470146

Neuf Couverture rigide

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work. 276 pp. Englisch. N� de r�f. du vendeur 9783319470146

Contacter le vendeur

Acheter neuf

EUR 123,04

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Verification of Simulink/Stateflow Diagrams

Naijun Zhan|Shuling Wang|Hengjun Zhao

Edit� par Springer International Publishing, 2016

ISBN 10 : 3319470140 ISBN 13 : 9783319470146

Neuf Couverture rigide

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides development of the method, from theories to implementations, and then to applicationsCovers a broad range of topics, both theoretical and practical, including hybrid systems, deductive verification, Duration Calculus, dynamical systems, c. N� de r�f. du vendeur 128973617

Contacter le vendeur

Acheter neuf

EUR 105,45

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach

Wang, Shuling

Edit� par Springer, 2016

ISBN 10 : 3319470140 ISBN 13 : 9783319470146

Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: B�cher | This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work. N� de r�f. du vendeur 27112745/12

Contacter le vendeur

Acheter D'occasion

EUR 58,69

Exp�dition �EUR 105
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach

Wang, Shuling

Edit� par Springer, 2016

ISBN 10 : 3319470140 ISBN 13 : 9783319470146

Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Hervorragend. Zustand: Hervorragend | Seiten: 276 | Sprache: Englisch | Produktart: B�cher | This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work. N� de r�f. du vendeur 27112745/1

Contacter le vendeur

Acheter D'occasion

EUR 60,45

Exp�dition �EUR 105
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Verification of Simulink/Stateflow Diagrams

Naijun Zhan

Edit� par Springer, Birkh�user Nov 2016, 2016

ISBN 10 : 3319470140 ISBN 13 : 9783319470146

Neuf Couverture rigide

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 276 pp. Englisch. N� de r�f. du vendeur 9783319470146

Contacter le vendeur

Acheter neuf

EUR 123,04

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach

Naijun Zhan

Edit� par Springer, Springer, 2016

ISBN 10 : 3319470140 ISBN 13 : 9783319470146

Neuf Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work. N� de r�f. du vendeur 9783319470146

Contacter le vendeur

Acheter neuf

EUR 123,04

Exp�dition �EUR 62,91
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach

Zhan, Naijun (Author)/ Wang, Shuling (Author)/ Zhao, Hengjun (Author)

Edit� par Springer, 2016

ISBN 10 : 3319470140 ISBN 13 : 9783319470146

Neuf Couverture rigide

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Hardcover. Etat : Brand New. 276 pages. 9.25x6.10x0.60 inches. In Stock. N� de r�f. du vendeur x-3319470140

Contacter le vendeur

Acheter neuf

EUR 177,87

Exp�dition �EUR 14,44
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier