Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Formal Techniques for Safety-Critical Systems 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: 9783319054162
Publisher: Springer International Publishing Publication: April 5, 2014
Imprint: Springer Language: English
Author:
ISBN: 9783319054162
Publisher: Springer International Publishing
Publication: April 5, 2014
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

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 Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

More books from Springer International Publishing

Cover of the book Genetic Enhancement of Crops for Tolerance to Abiotic Stress: Mechanisms and Approaches, Vol. I by
Cover of the book Modeling Approaches to Natural Convection in Porous Media by
Cover of the book Trauma Responsive Child Welfare Systems by
Cover of the book Thermal Contact Conductance by
Cover of the book Combinatorial Set Theory by
Cover of the book Neuroenhancement: how mental training and meditation can promote epistemic virtue. by
Cover of the book Business Model Innovation by
Cover of the book Understanding the HIV/AIDS Epidemic in the United States by
Cover of the book On the Catalytic Efficacy of Low-Oxidation State Group 14 Complexes by
Cover of the book Integrative Approach to Comprehensive Building Renovations by
Cover of the book Parameterized and Exact Computation by
Cover of the book hp-Version Discontinuous Galerkin Methods on Polygonal and Polyhedral Meshes by
Cover of the book Taking Offence on Social Media by
Cover of the book Business Information Systems Workshops by
Cover of the book The Changing Academic Profession in Japan 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