Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. 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 Postcolonial Reconstruction: A Sociological Reading of Octavio Paz by
bigCover of the book Echoes of Other Worlds: Sound in Virtual Reality by
bigCover of the book Chemistry and Technology of Yoghurt Fermentation by
bigCover of the book Theory and Applications of Satisfiability Testing – SAT 2017 by
bigCover of the book Diversity, Affect and Embodiment in Organizing by
bigCover of the book A Revised Consent Model for the Transplantation of Face and Upper Limbs: Covenant Consent by
bigCover of the book Archimedes in the 21st Century by
bigCover of the book Digital Image Quality in Medicine by
bigCover of the book Internet of Things, Smart Spaces, and Next Generation Networks and Systems by
bigCover of the book Resorbable Fiber-Forming Polymers for Biotextile Applications by
bigCover of the book Dual Use Science and Technology, Ethics and Weapons of Mass Destruction by
bigCover of the book Handbook of Biometrics for Forensic Science by
bigCover of the book Clinical Guide to Heart Transplantation by
bigCover of the book Dynamic Logic. New Trends and Applications by
bigCover of the book Analysis and Modeling of Complex Data in Behavioral and Social Sciences 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