Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach - Naijun Zhan - Books - Springer International Publishing AG - 9783319470146 - November 14, 2016
In case cover and title do not match, the title is correct

Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach 1st ed. 2017 edition

Naijun Zhan

Price
A$ 215.49

Ordered from remote warehouse

Expected delivery Jul 9 - 23

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach 1st ed. 2017 edition

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.

273 pages, 14 black & white illustrations, 60 colour illustrations, 50 colour tables, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 14, 2016
ISBN13 9783319470146
Publishers Springer International Publishing AG
Pages 258
Dimensions 155 × 235 × 18 mm   ·   562 g
Language French  

See all of Naijun Zhan ( e.g. Paperback Book and Hardcover Book )