Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, 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: 9783030129880
Publisher: Springer International Publishing Publication: February 1, 2019
Imprint: Springer Language: English
Author:
ISBN: 9783030129880
Publisher: Springer International Publishing
Publication: February 1, 2019
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.

The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

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 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.

The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

More books from Springer International Publishing

Cover of the book Dag Prawitz on Proofs and Meaning by
Cover of the book The Magic Ring by
Cover of the book Engineering Geology for Society and Territory - Volume 8 by
Cover of the book Applied Partial Differential Equations by
Cover of the book Nanomaterials for Sustainable Energy by
Cover of the book Low Fertility, Institutions, and their Policies by
Cover of the book Simulation and Synthesis in Medical Imaging by
Cover of the book The Palgrave Handbook of Shakespeare's Queens by
Cover of the book Hadamard States from Light-like Hypersurfaces by
Cover of the book Evidence-Based Periodontal and Peri-Implant Plastic Surgery by
Cover of the book Metrics of Sensory Motor Coordination and Integration in Robots and Animals by
Cover of the book The Immune System in Space: Are we prepared? by
Cover of the book Model Validation and Uncertainty Quantification, Volume 3 by
Cover of the book Famine and Finance by
Cover of the book Engineering Computational Emotion - A Reference Model for Emotion in Artificial Systems 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