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 Applied Control of Electrical Drives by
bigCover of the book Social Structure, Value Orientations and Party Choice in Western Europe by
bigCover of the book Unconventional Computation and Natural Computation by
bigCover of the book Re-Engaging Young People with Education by
bigCover of the book Primary Sclerosing Cholangitis by
bigCover of the book Ethics Across the Curriculum—Pedagogical Perspectives by
bigCover of the book Databases Theory and Applications by
bigCover of the book Electrical Power Engineering by
bigCover of the book Ethical Dilemmas of Migration by
bigCover of the book Information Security Education Across the Curriculum by
bigCover of the book Thermal Transport in Low Dimensions by
bigCover of the book Protecting Children Against Bullying and Its Consequences by
bigCover of the book Hematopoietic Stem Cell Transplantation for the Pediatric Hematologist/Oncologist by
bigCover of the book Direct and Large-Eddy Simulation X by
bigCover of the book Agents and Artificial Intelligence 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