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 Self-Organizing Migrating Algorithm by
Cover of the book Re-Thinking Time at the Interface of Physics and Philosophy by
Cover of the book Game Theory for Security and Risk Management by
Cover of the book Random Numbers and Computers by
Cover of the book Optical Phenomenology and Applications by
Cover of the book Intelligent Computing Systems by
Cover of the book Advanced Packaging and Manufacturing Technology Based on Adhesion Engineering by
Cover of the book Equality and Differentiation in Marketised Higher Education by
Cover of the book Design of Structural Elements with Tropical Hardwoods by
Cover of the book Advances in Applied Mathematics by
Cover of the book The Euclidean Matching Problem by
Cover of the book Traffic and Granular Flow '13 by
Cover of the book Database Systems for Advanced Applications by
Cover of the book Embedded Systems Design for High-Speed Data Acquisition and Control by
Cover of the book Approaching China's Pharmaceutical Market 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