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 Lecture Notes in Real-Time Intelligent Systems by
Cover of the book Fake Physics: Spoofs, Hoaxes and Fictitious Science by
Cover of the book Computer-Supported Collaborative Decision-Making by
Cover of the book Light Metals 2017 by
Cover of the book Analytical Corporate Finance by
Cover of the book Strategy Formation and Policy Making in Government by
Cover of the book Maritime Psychology by
Cover of the book Driver Drowsiness Detection by
Cover of the book Foundations of Programming Languages by
Cover of the book Ad-hoc, Mobile, and Wireless Networks by
Cover of the book Processes of Believing: The Acquisition, Maintenance, and Change in Creditions by
Cover of the book Verifiable Composition of Signature and Encryption by
Cover of the book The Food Movement, Culture, and Religion by
Cover of the book Advances in QSAR Modeling by
Cover of the book G-Protein-Coupled Receptor Dimers 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