Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Author:   Naijun Zhan ,  Shuling Wang ,  Hengjun Zhao
Publisher:   Springer International Publishing AG
Edition:   1st ed. 2017
ISBN:  

9783319470146


Pages:   258
Publication Date:   14 November 2016
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $343.17 Quantity:  
Add to Cart

Share |

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach


Add your own review!

Overview

Full Product Details

Author:   Naijun Zhan ,  Shuling Wang ,  Hengjun Zhao
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2017
Dimensions:   Width: 15.50cm , Height: 1.80cm , Length: 23.50cm
Weight:   5.384kg
ISBN:  

9783319470146


ISBN 10:   3319470140
Pages:   258
Publication Date:   14 November 2016
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG25 2

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List