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 Multicomponent Silicides for Thermoelectric Materials by

bigCover of the book Particles in Wall-Bounded Turbulent Flows: Deposition, Re-Suspension and Agglomeration by

bigCover of the book Developing Language and Literacy in English across the Secondary School Curriculum by

bigCover of the book Breast Imaging Review by

bigCover of the book Risk, Participation, and Performance Practice by

bigCover of the book The Diary of Queen Maria Carolina of Naples, 1781-1785 by

bigCover of the book Genomics Assisted Breeding of Crops for Abiotic Stress Tolerance, Vol. II by

bigCover of the book Prototyping of User Interfaces for Mobile Applications by

bigCover of the book Advances in Research on Fertilization Management of Vegetable Crops by

bigCover of the book New Dimensions in Community Well-Being by

bigCover of the book Formal Techniques for Safety-Critical Systems by

bigCover of the book Surgery of Complex Abdominal Wall Defects by

bigCover of the book Surface Flute Waves in Plasmas by

bigCover of the book The Sociocultural Activity of High Stakes Standardised Language Testing by

bigCover of the book Small Bioreactors for Management of Biodegradable Waste 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