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 Transboundary Hydro-Governance by

bigCover of the book Economy, Business and Uncertainty: New Ideas for a Euro-Mediterranean Industrial Policy by

bigCover of the book University Writing in Central and Eastern Europe: Tradition, Transition, and Innovation by

bigCover of the book Corporate Social Responsibility in Europe by

bigCover of the book Rethinking the Three R's in Animal Research by

bigCover of the book Unconventional Warfare from Antiquity to the Present Day by

bigCover of the book Partition and the Practice of Memory by

bigCover of the book Nature-Inspired Computing and Optimization by

bigCover of the book Advances in Microbiology, Infectious Diseases and Public Health by

bigCover of the book Queenship, Gender, and Reputation in the Medieval and Early Modern West, 1060-1600 by

bigCover of the book Pediatric Orthopedic Deformities, Volume 1 by

bigCover of the book Accountability and Security in the Cloud by

bigCover of the book The Soils of the USA by

bigCover of the book Hermeneutic Realism by

bigCover of the book Spatio-Temporal Graph Data Analytics 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