Extra Materials Archive

Book cover

Formal Verification of Simulink/Stateflow Diagrams

A Deductive Approach

© 2017

Hard cover - Print (ISBN: 978-3-319-47014-6)

Soft cover - Print (ISBN: 978-3-319-83638-6)

Electronic (ISBN: 978-3-319-47016-0)

View this book on SpringerLink