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 Information Fusion for Cyber-Security Analytics by
bigCover of the book Image and Graphics by
bigCover of the book Biodiversity of Lianas by
bigCover of the book Integral Transform Techniques for Green's Function by
bigCover of the book Alternative Worlds Imagined, 1500-1700 by
bigCover of the book Boko Haram and International Law by
bigCover of the book Heat Shock Proteins in Signaling Pathways by
bigCover of the book Cloud Computing by
bigCover of the book Satire and Politics by
bigCover of the book New Trends in Medical and Service Robots by
bigCover of the book Computational Diffusion MRI by
bigCover of the book The Theory of Info-Statics: Conceptual Foundations of Information and Knowledge by
bigCover of the book Ethical Dimensions of Islamic Finance by
bigCover of the book Emotional Engineering, Vol.7 by
bigCover of the book Friendship 7 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