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
Big bigCover of Formal Techniques for Safety-Critical Systems

More books from Springer International Publishing

bigCover of the book Brain Arteriovenous Malformations by
bigCover of the book Computer Vision – ACCV 2016 by
bigCover of the book Handbook of Mindfulness by
bigCover of the book Drying and Wetting of Building Materials and Components by
bigCover of the book The Structure and Stability of Persistence Modules by
bigCover of the book Computer Vision – ECCV 2018 Workshops by
bigCover of the book Test of Implicit Associations in Relationship Attitudes (TIARA) by
bigCover of the book Essentials of Spinal Stabilization by
bigCover of the book Climate of the Romanian Carpathians by
bigCover of the book Efficient Biometric Indexing and Retrieval Techniques for Large-Scale Systems by
bigCover of the book Quantum Biological Information Theory by
bigCover of the book Data Driven Approaches in Digital Education by
bigCover of the book Model and Data Engineering by
bigCover of the book Introduction to Uncertainty Quantification by
bigCover of the book Biological Determinism, Free Will and Moral Responsibility 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