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 MultiMedia Modeling by
bigCover of the book Lithium Metal Anodes and Rechargeable Lithium Metal Batteries by
bigCover of the book Natural and Constructed Wetlands by
bigCover of the book Women's Reproductive Mental Health Across the Lifespan by
bigCover of the book Human-Computer Interaction. User Interface Design, Development and Multimodality by
bigCover of the book Woman in Lars von Trier’s Cinema, 1996–2014 by
bigCover of the book AETA 2017 - Recent Advances in Electrical Engineering and Related Sciences: Theory and Application by
bigCover of the book Small Molecules in Oncology by
bigCover of the book Marine Renewable Energy by
bigCover of the book Perspectives on Linguistic Pragmatics by
bigCover of the book ICT in Education by
bigCover of the book Quantum Physics, Mini Black Holes, and the Multiverse by
bigCover of the book Nonequilibrium Dynamics of Collective Excitations in Quantum Materials by
bigCover of the book Modeling Dynamic Biological Systems by
bigCover of the book Reversible and Quantum Circuits 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