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 Educational Interfaces between Mathematics and Industry by
bigCover of the book Cultural Encounters and Emergent Practices in Conflict Resolution Capacity-Building by
bigCover of the book Inclusive Leadership by
bigCover of the book The Political Economy of Robots by
bigCover of the book Web and Big Data by
bigCover of the book Job Scheduling Strategies for Parallel Processing by
bigCover of the book Deep Eutectic Solvents by
bigCover of the book Current Trends in Immunity and Respiratory Infections by
bigCover of the book Pathological Elements in Analog Circuit Design by
bigCover of the book The Endless Quest for Israeli-Palestinian Peace by
bigCover of the book Bayesian Natural Language Semantics and Pragmatics by
bigCover of the book Abduction in Context by
bigCover of the book Safe Use of Wastewater in Agriculture by
bigCover of the book Bioinformatics Research and Applications by
bigCover of the book Birational Geometry of Foliations 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