Formal Verification Of Simulink/stateflow Diagrams

Name: Formal Verification Of Simulink/stateflow Diagrams
Brand: Naijun Zhan
SKU: prod_a463543103477db53326715f
Price: 213.00 USD
Availability: InStock

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach, (Hardcover) Author: Springer ISBN: 9783319470146 Format: Hardcover Publication Date: 2016-11-14 Page Count: 258

Shipping & Returns

Price unavailable

Formal Verification Of Simulink/stateflow Diagrams—

$213.00

Price unavailable

Formal Verification Of Simulink/stateflow Diagrams—

$213.00