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 Vascular Ion Channels in Physiology and Disease by
Cover of the book What Is Computer Science? by
Cover of the book Reviews in Fluorescence 2017 by
Cover of the book Aviation Risk and Safety Management by
Cover of the book Application of the Political Economy to Rural Health Disparities by
Cover of the book Electromagnetic and Optical Pulse Propagation by
Cover of the book Electric and Hybrid Buses for Urban Transport by
Cover of the book Psychoanalysis of Evil by
Cover of the book Current Issues in Corporate Social Responsibility by
Cover of the book Security and Privacy in Communication Networks by
Cover of the book Theory and Practice of Natural Computing by
Cover of the book The Future of the Postal Sector in a Digital World by
Cover of the book Quality Cancer Care by
Cover of the book Professional Learning in the Work Place for International Students by
Cover of the book New Perspectives on Surface Passivation: Understanding the Si-Al2O3 Interface 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