Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. 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: 9783319175812
Publisher: Springer International Publishing Publication: April 15, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319175812
Publisher: Springer International Publishing
Publication: April 15, 2015
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 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 Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 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 Corporate Sustainability and Responsibility in Tourism by
Cover of the book The Fantasy of Individuality by
Cover of the book Stochastic Equations for Complex Systems by
Cover of the book Bifurcation without Parameters by
Cover of the book Fast Variables in Stochastic Population Dynamics by
Cover of the book Dynamics of the Milky Way by
Cover of the book Towards Intellectual Property Rights Management by
Cover of the book Shadow Education as Worldwide Curriculum Studies by
Cover of the book Local Treatment of Inflammatory Joint Diseases by
Cover of the book Debating Collaboration and Complicity in War Crimes Trials in Asia, 1945-1956 by
Cover of the book Lithium Metal Anodes and Rechargeable Lithium Metal Batteries by
Cover of the book The Shaping of Turkey in the British Imagination, 1776–1923 by
Cover of the book Patricia Highsmith on Screen by
Cover of the book From QCD Flux Tubes to Gravitational S-matrix and Back by
Cover of the book Informatics in Control, Automation and Robotics 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