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 Decoding the Antibody Repertoire by
Cover of the book Courts' Inquiry into Arbitral Jurisdiction at the Pre-Award Stage by
Cover of the book Structure Formation in Modified Gravity Cosmologies by
Cover of the book Problems of Nonlinear Mechanics and Physics of Materials by
Cover of the book Computational Neurology and Psychiatry by
Cover of the book The Variable-Order Fractional Calculus of Variations by
Cover of the book Trends in Spatial Analysis and Modelling by
Cover of the book Mobile Networks for Biometric Data Analysis by
Cover of the book Applications of Quantum Dynamics in Chemistry by
Cover of the book Issues and Challenges in Artificial Intelligence by
Cover of the book Stagnation Versus Growth in Europe by
Cover of the book Homicide in São Paulo by
Cover of the book Deterministic Kinetics in Chemistry and Systems Biology by
Cover of the book European Yearbook of International Economic Law 2017 by
Cover of the book Xenophobia in South Africa 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