Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Formal Verification Of Simulink/stateflow Diagrams: A Deductive Approach
16 Angebote vergleichen
Bester Preis: € 6,06 (vom 13.09.2019)Formal Verification of Simulink/Stateflow Diagrams
ISBN: 9783319836386 bzw. 3319836382, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
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. Soft cover.
Formal Verification of Simulink/Stateflow Diagrams (2016)
ISBN: 9783319470146 bzw. 3319470140, in Deutsch, gebundenes Buch, neu.
Erscheinungsdatum: 14.11.2016, Medium: Buch, Einband: Gebunden, Titel: Formal Verification of Simulink/Stateflow Diagrams, Titelzusatz: A Deductive Approach, Autor: Zhan, Naijun // Wang, Shuling // Zhao, Hengjun, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: Prozesstechnik // Ingenieurwissenschaft // Ingenieurwissenschaftler // Maschinenbau // Bauelement // elektronisch // Baustein // Elektronik // Bauelemente // Schaltung // Grundschaltung // Standardschaltung // Elektrogerät // Gerät // TECHNOLOGY & ENGINEERING // Electronics // Circuits // General // Ingenieurswesen // Maschinenbau allgemein // Elektronische Geräte und Materialien // Rechnerarchitektur und Logik-Entwurf // Mainframes und Minicomputer, Rubrik: Elektronik // Elektrotechnik, Nachrichtentechnik, Seiten: 258, Abbildungen: 50 schwarz-weiße und 50 farbige Abbildungen, Bibliographie, Herkunft: GROSSBRITANNIEN (GB), Informationen: Book, Gewicht: 569 gr, Verkäufer: averdo.
/ Wang / Zhao | Formal Verification of Simulink/Stateflow Diagrams | Springer | Softcover reprint of the original 1st ed. 2017 | 2018
ISBN: 9783319836386 bzw. 3319836382, vermutlich in Englisch, Springer, Taschenbuch, neu.
Formal Verification Of Simulink/stateflow Diagrams: A Deductive Approach
ISBN: 9783319836386 bzw. 3319836382, vermutlich in Englisch, neu.
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.
Gebr. - Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (2017)
ISBN: 9783319470146 bzw. 3319470140, in Deutsch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Formal Verification of Simulink/Stateflow Diagrams
ISBN: 9783319470146 bzw. 3319470140, in Deutsch, Springer Shop, gebundenes Buch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Formal Verification of Simulink/Stateflow Diagrams - A Deductive Approach
ISBN: 9783319470146 bzw. 3319470140, in Deutsch, Springer-Verlag Gmbh, gebundenes Buch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Formal Verification of Simulink/Stateflow Diagrams
ISBN: 9783319470146 bzw. 3319470140, in Deutsch, Springer International Publishing, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Formal Verification of Simulink/Stateflow Diagrams
ISBN: 9783319470146 bzw. 3319470140, in Deutsch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Formal Verification of Simulink/Stateflow Diagrams (2017)
ISBN: 3319836382 bzw. 9783319836386, in Deutsch, Taschenbuch, neu, Nachdruck.