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 Kelsenian Legal Science and the Nature of Law by
bigCover of the book Spectroscopy and Optical Diagnostics for Gases by
bigCover of the book Big Data Analytics in the Social and Ubiquitous Context by
bigCover of the book Transport and Logistics in a Globalizing World by
bigCover of the book New Localism by
bigCover of the book Textbook of Ocular Trauma by
bigCover of the book Fuzzy Operator Theory in Mathematical Analysis by
bigCover of the book Data Analytics and Management in Data Intensive Domains by
bigCover of the book Conceiving Mozambique by
bigCover of the book Theory and Practice of Model Transformations by
bigCover of the book Case-Based Diagnosis and Management of Headache Disorders by
bigCover of the book Neoliberalism and Post-Soviet Transition by
bigCover of the book Transport Properties in Non-Equilibrium and Anomalous Systems by
bigCover of the book The Quest for Subsidy Reforms in the Middle East and North Africa Region by
bigCover of the book Interrogating the Anthropocene 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