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 Biochemistry and Molecular Biology by

bigCover of the book Membrane Computing by

bigCover of the book Complex Analysis for Practical Engineering by

bigCover of the book Theory of Heavy-Fermion Compounds by

bigCover of the book Searches for CP Violation in Charmed Meson Decays by

bigCover of the book The Energy-Climate Continuum by

bigCover of the book Traumatic Memory and the Ethical, Political and Transhistorical Functions of Literature by

bigCover of the book Testbeds and Research Infrastructures for the Development of Networks and Communities by

bigCover of the book Information and Communications Security by

bigCover of the book Advanced Connection Systems for Architectural Glazing by

bigCover of the book Virtual Sociocultural Convergence by

bigCover of the book Pancyclic and Bipancyclic Graphs by

bigCover of the book An Assessment of Mine Legacies and How to Prevent Them by

bigCover of the book Multi-Disciplinary Digital Signal Processing by

bigCover of the book Modified Nucleic Acids in Biology and Medicine 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