Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Nonfiction, Computers, Programming, Programming Languages, General Computing
Big bigCover of Critical Systems: Formal Methods and Automated Verification

More books from Springer International Publishing

bigCover of the book A Treatise of Indian and Tropical Soils by
bigCover of the book Clinical Management of Male Infertility by
bigCover of the book Atheist Identities - Spaces and Social Contexts by
bigCover of the book Philosophy, Dreaming and the Literary Imagination by
bigCover of the book Sustainable Heavy Metal Remediation by
bigCover of the book Natural Language Understanding and Intelligent Applications by
bigCover of the book Sunspots and Non-Linear Dynamics by
bigCover of the book Dialysis Access Cases by
bigCover of the book Sustainable Design and Manufacturing 2017 by
bigCover of the book Computer Science – Theory and Applications by
bigCover of the book New Atheism: Critical Perspectives and Contemporary Debates by
bigCover of the book Applied Dynamics by
bigCover of the book Advances in Information and Communication Networks by
bigCover of the book Building a Culture of Health by
bigCover of the book Advances in Human Factors in Cybersecurity 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