Artículos relacionados a Formal Verification of Simulink/Stateflow Diagrams:...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
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.
De la contraportada
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 105,45
EUR 19,49 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Formal Verification of Simulink/Stateflow Diagrams:...
Imagen de archivo
Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach
Publicado por
Springer International Publishing, 2016
ISBN 10: 3319470140
ISBN 13: 9783319470146
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 27112745/12
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach
Publicado por
Springer International Publishing, 2016
ISBN 10: 3319470140
ISBN 13: 9783319470146
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 27112745/1
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Verification of Simulink/Stateflow Diagrams
Publicado por
Springer, 2016
ISBN 10: 3319470140
ISBN 13: 9783319470146
Antiguo o usado
Tapa dura
Original o primera edición
Librería: SpringBooks, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. 1. Auflage. unread, with a mimimum of shelfwear. Nº de ref. del artículo: CEA-2302C-ZEISIG-30-1000
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.24. Nº de ref. del artículo: G3319470140I3N00
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Verification of Simulink/Stateflow Diagrams
Publicado por
Springer International Publishing, 2016
ISBN 10: 3319470140
ISBN 13: 9783319470146
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: 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 ref. del artículo: 128973617
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Verification of Simulink/Stateflow Diagrams
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783319470146_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Verification of Simulink/Stateflow Diagrams
Publicado por
Springer International Publishing Nov 2016, 2016
ISBN 10: 3319470140
ISBN 13: 9783319470146
Nuevo
Tapa dura
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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 ref. del artículo: 9783319470146
Cantidad disponible: 2 disponibles
Imagen del vendedor
Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach
Publicado por
Springer International Publishing, 2016
ISBN 10: 3319470140
ISBN 13: 9783319470146
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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 ref. del artículo: 9783319470146
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Verification of Simulink/Stateflow Diagrams
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783319470146
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Verification of Simulink/Stateflow Diagrams
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783319470146
Cantidad disponible: Más de 20 disponibles