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 Viscometry for Liquids by
bigCover of the book Artificial Intelligence in Education by
bigCover of the book All Sides to an Oval by
bigCover of the book Arterial Disorders by
bigCover of the book Endophytes: Biology and Biotechnology by
bigCover of the book Robust Simulation for Mega-Risks by
bigCover of the book Entrepreneurial Ecosystems by
bigCover of the book Social Networks and Surveillance for Society by
bigCover of the book Love and Marriage Across Social Classes in American Cinema by
bigCover of the book Innovative Technologies and Learning by
bigCover of the book Oil Pollution in the North Sea by
bigCover of the book Managing Testimony and Administrating Victims by
bigCover of the book 3D, 4D and Predictive Modelling of Major Mineral Belts in Europe by
bigCover of the book Operations Research Proceedings 2012 by
bigCover of the book Crisis of Legitimacy and Political Violence in Uganda, 1979 to 2016 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