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 LATIN 2018: Theoretical Informatics by
bigCover of the book Applications of EPR in Radiation Research by
bigCover of the book Causal Overdetermination and Contextualism by
bigCover of the book Advances in Sequence Analysis: Theory, Method, Applications by
bigCover of the book The Leishmaniases: Old Neglected Tropical Diseases by
bigCover of the book Pathways to a Sustainable Economy by
bigCover of the book Mathematical Adventures in Performance Analysis by
bigCover of the book Drought Stress Tolerance in Plants, Vol 1 by
bigCover of the book Cyberpatterns by
bigCover of the book Conformal Geometry by
bigCover of the book Lectures in Obstetrics, Gynaecology and Women’s Health by
bigCover of the book Intelligent Methods and Big Data in Industrial Applications by
bigCover of the book Mechanics of Biological Systems and Materials, Volume 7 by
bigCover of the book Decentralized Water Reclamation Engineering by
bigCover of the book Boosted Statistical Relational Learners 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