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 Urban Heritage Management by
bigCover of the book Textbook of Rapid Response Systems by
bigCover of the book Knowledge Management by
bigCover of the book Bone Toxicology by
bigCover of the book Fuzzy Pictures as Philosophical Problem and Scientific Practice by
bigCover of the book Mitigating Environmental Impact of Petroleum Lubricants by
bigCover of the book The Evian Conference of 1938 and the Jewish Refugee Crisis by
bigCover of the book Movie Analytics by
bigCover of the book Compatibility of Transactional Resolutions of Antitrust Proceedings with Due Process and Fundamental Rights & Online Exhaustion of IP Rights by
bigCover of the book ICGG 2018 - Proceedings of the 18th International Conference on Geometry and Graphics by
bigCover of the book A Critical Examination of Ethics in Health Care and Biomedical Research by
bigCover of the book A Justice-Based Approach for New Media Policy by
bigCover of the book Potsdamer Platz by
bigCover of the book Algorithms from and for Nature and Life by
bigCover of the book Eleanor Roosevelt and the Anti-Nuclear Movement 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