Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. 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 Radiation Safety by
bigCover of the book The Economics and Policy of Solar Photovoltaic Generation by
bigCover of the book Plasticity of Boronized Layers by
bigCover of the book Adding Neurotherapy to Your Practice by
bigCover of the book Learning and Intelligent Optimization by
bigCover of the book Latissimus Dorsi Transfer by
bigCover of the book Comparative Empirical Bioethics: Dilemmas of Genetic Testing and Euthanasia in Israel and Germany by
bigCover of the book Interpretations of Luxury by
bigCover of the book Trends in Contemporary Mathematics by
bigCover of the book Intelligent Virtual Agents by
bigCover of the book From Environmental to Comprehensive Security by
bigCover of the book Semi-Autonomous Networks by
bigCover of the book Spatial Information Theory by
bigCover of the book Narrative Theory in Clinical Social Work Practice by
bigCover of the book Popular Rumour in Revolutionary Paris, 1792-1794 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