Formal Verification of Simulink/Stateflow Diagrams
Subtitle: A Deductive Approach
Publisher: Springer International Publishing AG
Published: 2018
Language: eng
ISBN-13: 9783319836386
Subjects: Computer simulation; Computer software