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 Leading an Academic Medical Practice by
bigCover of the book Hard Power in Hard Times by
bigCover of the book Sustainable Agriculture Reviews by
bigCover of the book Immersive Education by
bigCover of the book The Female Electrocardiogram by
bigCover of the book China's Lessons for India: Volume I by
bigCover of the book Breast Cancer Metastasis and Drug Resistance by
bigCover of the book Finite Time Thermodynamics of Power and Refrigeration Cycles by
bigCover of the book Agroecology by
bigCover of the book Green Biocomposites by
bigCover of the book Bayesian Methods for the Physical Sciences by
bigCover of the book Control of Wave and Beam PDEs by
bigCover of the book Sustainable Agriculture Reviews by
bigCover of the book Sovereignty Referendums in International and Constitutional Law by
bigCover of the book Tactile Display for Virtual 3D Shape Rendering 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