Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

by Naijun Zhan (Author), Hengjun Zhao (Contributor), Shuling Wang (Contributor)

$116.87

Quantity

10 in stock

More Information

Format: Paperback
Pages: 276
Edition: Softcover reprint of the original 1st ed. 2017
Publisher: Springer
Published: 29 Jun 2018

ISBN 10: 3319836382
ISBN 13: 9783319836386