Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach - Naijun Zhan - Books - Springer International Publishing AG - 9783319836386 - June 29, 2018
In case cover and title do not match, the title is correct

Naijun Zhan
Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach Softcover reprint of the original 1st ed. 2017 edition

Price
$ 119.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

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

Also available as:

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.

258 pages, 50 Tables, color; 60 Illustrations, color; 14 Illustrations, black and white; XV, 258 p.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 29, 2018
ISBN13 9783319836386
Publishers Springer International Publishing AG
Pages 258
Dimensions 150 × 220 × 10 mm   ·   390 g
Language German  

Mere med samme udgiver

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