Formal Verification of Simulink/Stateflow Diagrams

A Deductive Approach

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Formal Verification of Simulink/Stateflow Diagrams

More books from Springer International Publishing

bigCover of the book From QCD Flux Tubes to Gravitational S-matrix and Back by

bigCover of the book Educating Science Teachers for Sustainability by

bigCover of the book ECML PKDD 2018 Workshops by

bigCover of the book Mixed-Method Evaluation of Watershed Management by

bigCover of the book The European Gas Markets by

bigCover of the book Advances in Energy System Optimization by

bigCover of the book Israeli Sociology by

bigCover of the book From Fourier Analysis to Wavelets by

bigCover of the book Feelings and Emotion-Based Learning by

bigCover of the book Concentrating Solar Thermal Technologies by

bigCover of the book Sheikh Mohammad Abdullah’s Reflections on Kashmir by

bigCover of the book Design, User Experience, and Usability: Design Thinking and Methods by

bigCover of the book Principle-Based Stepped Care and Brief Psychotherapy for Integrated Care Settings by

bigCover of the book The PROSPER School Pathways for Student Wellbeing by

bigCover of the book Culture, Cognition, and Emotion in China's Religious Ethnic Minorities by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy