Formal Verification of Simulink/Stateflow Diagrams
Subtitle: A Deductive Approach
Publisher: Springer
Published: Nov 14, 2016
Format: hardcover
Number of pages: 273
ISBN-13: 9783319470146
Notes: Source title: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach