Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Deductive

von Naijun Zhan

Taschenbuch

ISBN-13: 978-3-319-83638-6

ISBN-10: 3-319-83638-2

Springer · 2018

Siehe auch:
2016Gebundene AusgabeFormal Verification of Simulink/Stateflow Diagrams: A Deductive Approach