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

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

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.

À 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
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

état :  Satisfaisant
Pages can have notes/highlighting...
Afficher cet article
9783319470146: Formal Verification of Simulink/Stateflow Diagrams
EUR 62,93

Autre devise

Gratuit expédition vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783319470146: Formal Verification of Simulink/Stateflow Diagrams
EUR 113,43

Autre devise

EUR 7,65 expédition vers Etats-Unis

Destinations, frais et délais

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

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

Image d'archives

Zhan, Naijun; Wang, Shuling; Zhao, Hengjun
Edité par Springer, 2016
ISBN 10 : 3319470140 ISBN 13 : 9783319470146
Ancien ou d'occasion Couverture rigide

Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.24. N° de réf. du vendeur G3319470140I3N00

Contacter le vendeur

Acheter D'occasion

EUR 62,93
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Zhan
Edité par Springer, 2016
ISBN 10 : 3319470140 ISBN 13 : 9783319470146
Ancien ou d'occasion Couverture rigide Edition originale

Vendeur : SpringBooks, Berlin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Very Good. 1. Auflage. unread, with a mimimum of shelfwear. N° de réf. du vendeur CEA-2302C-ZEISIG-30-1000

Contacter le vendeur

Acheter D'occasion

EUR 30,77
Autre devise
Frais de port : EUR 90
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Zhan
Edité par Springer, 2016
ISBN 10 : 3319470140 ISBN 13 : 9783319470146
Neuf Couverture rigide

Vendeur : Best Price, Torrance, CA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783319470146

Contacter le vendeur

Acheter neuf

EUR 113,43
Autre devise
Frais de port : EUR 7,65
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Naijun Zhan, Hengjun Zhao, Shuling Wang
ISBN 10 : 3319470140 ISBN 13 : 9783319470146
Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 27112745/1

Contacter le vendeur

Acheter D'occasion

EUR 20,66
Autre devise
Frais de port : EUR 105
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Naijun Zhan, Hengjun Zhao, Shuling Wang
ISBN 10 : 3319470140 ISBN 13 : 9783319470146
Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 27112745/12

Contacter le vendeur

Acheter D'occasion

EUR 20,66
Autre devise
Frais de port : EUR 105
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 128,53
Autre devise
Frais de port : EUR 13,84
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Naijun Zhan
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Zhan
Edité par Springer, 2016
ISBN 10 : 3319470140 ISBN 13 : 9783319470146
Neuf Couverture rigide

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783319470146

Contacter le vendeur

Acheter neuf

EUR 148,33
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Zhan
Edité par Springer, 2016
ISBN 10 : 3319470140 ISBN 13 : 9783319470146
Neuf Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 26376465178

Contacter le vendeur

Acheter neuf

EUR 146,68
Autre devise
Frais de port : EUR 3,40
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Naijun Zhan|Shuling Wang|Hengjun Zhao
ISBN 10 : 3319470140 ISBN 13 : 9783319470146
Neuf Couverture rigide
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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
Autre devise
Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre