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 Economics of Bioresources by

bigCover of the book Data-driven Modelling of Structured Populations by

bigCover of the book New Horizons in Fundamental Physics by

bigCover of the book Strategic Innovative Marketing by

bigCover of the book Hardy Type Inequalities on Time Scales by

bigCover of the book Project Management and Engineering Research by

bigCover of the book Welfare Beyond the Welfare State by

bigCover of the book Corporate Sustainability in International Comparison by

bigCover of the book Small Animal Imaging by

bigCover of the book Rock Grouting at Dam Sites by

bigCover of the book Quick Guide to Good Clinical Practice by

bigCover of the book Fast Scanning Calorimetry by

bigCover of the book Biomedical Engineering Systems and Technologies by

bigCover of the book Management of Early Progressive Corneal Ectasia by

bigCover of the book Reversible Computation 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