Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Nonfiction, Computers, Programming, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Critical Systems: Formal Methods and Automated Verification

More books from Springer International Publishing

bigCover of the book Photoinduced Phenomena in Nucleic Acids II by

bigCover of the book Marine Conservation Paleobiology by

bigCover of the book Flood Modeling, Prediction and Mitigation by

bigCover of the book Transcriptional Control of Lineage Differentiation in Immune Cells by

bigCover of the book Multidisciplinary Management of Rectal Cancer by

bigCover of the book Regional Economic Organizations and Conventional Security Challenges by

bigCover of the book Thermal Protection Modeling of Hypersonic Flying Apparatus by

bigCover of the book Controversies in Caring for Women with Epilepsy by

bigCover of the book European Energy and Climate Security by

bigCover of the book Atlas of Cardiac Innervation by

bigCover of the book Victim Healing and Truth Commissions by

bigCover of the book Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Information by

bigCover of the book Extended Abstracts Spring 2013 by

bigCover of the book Dual Use Science and Technology, Ethics and Weapons of Mass Destruction 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