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 Artificial Intelligence for Knowledge Management by
bigCover of the book Advances in Mathematics Education Research on Proof and Proving by
bigCover of the book Turbulence by
bigCover of the book Bottom-Up Self-Organization in Supramolecular Soft Matter by
bigCover of the book Nanotechnology: Applications in Energy, Drug and Food by
bigCover of the book Enterprise Applications, Markets and Services in the Finance Industry by
bigCover of the book The Franciscan Invention of the New World by
bigCover of the book Geology of National Parks of Central/Southern Kenya and Northern Tanzania by
bigCover of the book Common Good Politics by
bigCover of the book Advanced Microsystems for Automotive Applications 2015 by
bigCover of the book Craniofacial and Dental Developmental Defects by
bigCover of the book Endoscopy in Pediatric Inflammatory Bowel Disease by
bigCover of the book Two-Dimensional Systems by
bigCover of the book Contemporary Operations and Logistics by
bigCover of the book Early Childhood, Aging, and the Life Cycle 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