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 Developments in Medical Image Processing and Computational Vision by
Cover of the book Monte Carlo and Quasi-Monte Carlo Methods by
Cover of the book Quality, Reliability, Security and Robustness in Heterogeneous Systems by
Cover of the book Enterprise and Organizational Modeling and Simulation by
Cover of the book The New Industrial Policy of the European Union by
Cover of the book Integral Methods in Science and Engineering by
Cover of the book Emotional Engineering, Vol.5 by
Cover of the book Software Project Management for Distributed Computing by
Cover of the book Freezing Colloids: Observations, Principles, Control, and Use by
Cover of the book Sustainable Aviation by
Cover of the book Modern Manufacturing Engineering by
Cover of the book Sustainable Heavy Metal Remediation by
Cover of the book Data Science and Big Data Computing by
Cover of the book Building Integrated Photovoltaic (BIPV) in Trentino Alto Adige by
Cover of the book Time of Nature and the Nature of Time 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