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 The Poetics of Space and Place in Scottish Literature by
Cover of the book Advanced Ceramic and Metallic Coating and Thin Film Materials for Energy and Environmental Applications by
Cover of the book Circulating Fluidized Bed Boilers by
Cover of the book Freshwater Challenges of South Africa and its Upper Vaal River by
Cover of the book The Environment-Conflict Nexus by
Cover of the book Negotiating Reconciliation in Peacemaking by
Cover of the book Fuzzy Dual Numbers by
Cover of the book Advanced Logic Synthesis by
Cover of the book Statistics for Chemical and Process Engineers by
Cover of the book Friction Stir Welding and Processing by
Cover of the book Financial Therapy by
Cover of the book The Three Regularities in Development by
Cover of the book A Guide to Numerical Modelling in Systems Biology by
Cover of the book Organometallics for Green Catalysis by
Cover of the book Diffusion in Ceramics 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