Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
by Naijun Zhan,Shuling Wang,Hengjun Zhao
ISBN 13: 9783319836386
Format: Paperback (276 pages) Publisher: Springer Published: 29 Jun 2018
Save for later