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 Advances in Visual Computing by

bigCover of the book Principle and Application Progress in Location-Based Services by

bigCover of the book Legal Risks in EU Law by

bigCover of the book Model-Free Stabilization by Extremum Seeking by

bigCover of the book Advanced Hardware Design for Error Correcting Codes by

bigCover of the book Transnational Contexts of Culture, Gender, Class, and Colonialism in Play by

bigCover of the book Negotiating South-South Regional Trade Agreements by

bigCover of the book Transforming the IT Services Lifecycle with AI Technologies by

bigCover of the book Water Pricing Experiences and Innovations by

bigCover of the book Simulation in Healthcare Education by

bigCover of the book Distributed Computing by Mobile Entities by

bigCover of the book Stress Signaling in Plants: Genomics and Proteomics Perspective, Volume 2 by

bigCover of the book Managing Population Decline in Europe's Urban and Rural Areas by

bigCover of the book Design of CMOS Analog Integrated Fractional-Order Circuits by

bigCover of the book Human Rights, Social Movements and Activism in Contemporary Latin American Cinema 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