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 Business Process Management by
Cover of the book Neurocognitive Learning Therapy: Theory and Practice by
Cover of the book Media and Food Industries by
Cover of the book Logics in Artificial Intelligence by
Cover of the book Caatinga by
Cover of the book Design of FPGA-Based Computing Systems with OpenCL by
Cover of the book Managing Agile by
Cover of the book Death Across Cultures by
Cover of the book Agent-Based Modeling of Social Conflict by
Cover of the book Cartilage by
Cover of the book Education Policy and Power-Sharing in Post-Conflict Societies by
Cover of the book History of Cryptography and Cryptanalysis by
Cover of the book Corruption and Anti-Corruption in Policing—Philosophical and Ethical Issues by
Cover of the book Guide to Digital Forensics by
Cover of the book Adipocytokines, Energy Balance, and Cancer 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