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 Understanding Invasive Species in the Galapagos Islands by
Cover of the book Productivity and Inequality by
Cover of the book Good Laboratory Practices for Forensic Chemistry by
Cover of the book Optimization and Control for Systems in the Big-Data Era by
Cover of the book Shiga toxins by
Cover of the book Fiscal Policies in High Debt Euro-Area Countries by
Cover of the book Circulating Nucleic Acids in Serum and Plasma – CNAPS IX by
Cover of the book Biodiversity of Semiarid Landscape by
Cover of the book Highlighting the Importance of Big Data Management and Analysis for Various Applications by
Cover of the book Acoustic, Electromagnetic, Neutron Emissions from Fracture and Earthquakes by
Cover of the book Sphingosine-1-Phosphate Signaling in Immunology and Infectious Diseases by
Cover of the book Noncommunicable Diseases by
Cover of the book Nanocomposites for Visible Light-induced Photocatalysis by
Cover of the book 5G Wireless Systems by
Cover of the book Wind Energy and Wildlife Interactions 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