ISBN 3319836382 books & textbook

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Zhan, Naijun Wang, Shuling Zhao, Hengjun

Springer /2018-06-29 Paperback / 273 Pages
isbn-10: 3319836382 / isbn-13: 9783319836386