Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

by

Write The First Customer Review
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach 2016, Springer

ISBN-13: 9783319470146

2017 edition

Hardcover

Select