Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, 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: 9783319539461
Publisher: Springer International Publishing Publication: February 15, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319539461
Publisher: Springer International Publishing
Publication: February 15, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.

The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

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 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.

The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

More books from Springer International Publishing

Cover of the book James Bond Uncovered by
Cover of the book Deep Time Analysis by
Cover of the book Unconventional Methods for Oil & Gas Exploration in Cuba by
Cover of the book The Palgrave Handbook of Bottom-Up Urbanism by
Cover of the book Modern Problems of Stochastic Analysis and Statistics by
Cover of the book The History of Research on Chemical Periodic Processes by
Cover of the book High Tech Concrete: Where Technology and Engineering Meet by
Cover of the book Regional Energy Demand and Energy Efficiency in Japan by
Cover of the book Elise Boulding: Autobiographical Writings and Selections from Unpublished Journals and Letters by
Cover of the book Photosynthetic Microorganisms by
Cover of the book Near-Death Experiences by
Cover of the book Penalty, Shrinkage and Pretest Strategies by
Cover of the book Patch-Based Techniques in Medical Imaging by
Cover of the book Sinusoidal Three-Phase Windings of Electric Machines by
Cover of the book Fracture Mechanics 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