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 Neuropsychiatry Case Studies by
bigCover of the book Poverty in the United States by
bigCover of the book Strategic Management Accounting, Volume I by
bigCover of the book Plant Omics: Trends and Applications by
bigCover of the book Reviews of Environmental Contamination and Toxicology Volume 246 by
bigCover of the book Developments and Advances in Defense and Security by
bigCover of the book The Moon Hoax? by
bigCover of the book Engineering Embedded Systems by
bigCover of the book Advances in Algebraic Quantum Field Theory by
bigCover of the book Driving Service Productivity by
bigCover of the book Work and Family Interface in the International Career Context by
bigCover of the book Material Selections by a Hybrid Multi-Criteria Approach by
bigCover of the book Lectures on Complex Integration by
bigCover of the book Issues in Contemporary Oil Paint by
bigCover of the book Service-Oriented Computing – ICSOC 2017 Workshops 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