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 At the Size Limit - Effects of Miniaturization in Insects by

bigCover of the book Sensing and Control for Autonomous Vehicles by

bigCover of the book Children's Reading of Film and Visual Literacy in the Primary Curriculum by

bigCover of the book Cross-Cultural Design. Applications in Cultural Heritage, Creativity and Social Development by

bigCover of the book Econophysics and Data Driven Modelling of Market Dynamics by

bigCover of the book Selective Reproduction in the 21st Century by

bigCover of the book Hypertension and Stroke by

bigCover of the book Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things by

bigCover of the book Literary Festivals and Contemporary Book Culture by

bigCover of the book Watching Sympathetic Perpetrators on Italian Television by

bigCover of the book Advances in Artificial Life, Evolutionary Computation and Systems Chemistry by

bigCover of the book Atlas of Cardiac Innervation by

bigCover of the book Regional Analysis of Time-Fractional Diffusion Processes by

bigCover of the book Green and Lean Management 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