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 Trusted Computing Platforms by

bigCover of the book Filial Obsessions by

bigCover of the book Historians as Expert Judicial Witnesses in Tobacco Litigation by

bigCover of the book Reliability and Statistics in Transportation and Communication by

bigCover of the book Mangrove Ecosystems: A Global Biogeographic Perspective by

bigCover of the book Granville Sharp's Uncovered Letter and the Zong Massacre by

bigCover of the book Developments in International Bridge Engineering by

bigCover of the book Information Literacy: Key to an Inclusive Society by

bigCover of the book Trust Management X by

bigCover of the book Embracing Global Computing in Emerging Economies by

bigCover of the book Trauma Team Dynamics by

bigCover of the book Cognitive Technologies by

bigCover of the book Optimal Control of a Double Integrator by

bigCover of the book Formal and Analytic Solutions of Diff. Equations by

bigCover of the book Software Engineering and Formal Methods 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