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
Cover of the book Critical Systems: Formal Methods and Automated Verification by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319671130
Publisher: Springer International Publishing Publication: September 2, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319671130
Publisher: Springer International Publishing
Publication: September 2, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.

The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.

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

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.

The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.

More books from Springer International Publishing

Cover of the book Temporal Quantum Correlations and Hidden Variable Models by
Cover of the book Inverse Abdominoplasty by
Cover of the book Multiobjective Linear and Integer Programming by
Cover of the book On-chip High-Voltage Generator Design by
Cover of the book Sexual Health and Genital Medicine in Clinical Practice by
Cover of the book Noninvasive Mechanical Ventilation and Difficult Weaning in Critical Care by
Cover of the book Structural Dynamics of HIV by
Cover of the book Arctic Environmental Modernities by
Cover of the book Salts of Amino Acids by
Cover of the book Somatic Embryogenesis: Fundamental Aspects and Applications by
Cover of the book Studying Animal Languages Without Translation: An Insight from Ants by
Cover of the book Chaucerian Ecopoetics by
Cover of the book Haploidentical Stem Cell Transplantation by
Cover of the book Resilient Routing in Communication Networks by
Cover of the book Applied Regression Analysis for Business 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